diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-25 00:00:38 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-25 00:00:38 +0200 |
| commit | 9a89974f293aa53451cad42f07e54e5bca14af4f (patch) | |
| tree | b96c0ec2c21051a31988b170cceffc01614d5195 /library/everything.tex | |
| parent | 28cbe434d393066f6b4525c67bd01b1396e97381 (diff) | |
definition of equivalence_from_partition can proof false in everything.tex
Diffstat (limited to 'library/everything.tex')
| -rw-r--r-- | library/everything.tex | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/library/everything.tex b/library/everything.tex index 61bccb2..783679f 100644 --- a/library/everything.tex +++ b/library/everything.tex @@ -16,12 +16,13 @@ \import{relation/uniqueness.tex} \import{function.tex} \import{ordinal.tex} -%\import{nat.tex} +\import{nat.tex} \import{cardinal.tex} \import{algebra/magma.tex} \import{algebra/semigroup.tex} \import{algebra/monoid.tex} \import{algebra/group.tex} + \import{order/order.tex} %\import{order/semilattice.tex} \import{topology/topological-space.tex} @@ -33,3 +34,7 @@ \begin{proposition}\label{trivial} $x = x$. \end{proposition} + +%\begin{proposition}\label{safe} +% Contradiction. +%\end{proposition} |