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/set/cons.tex | |
| parent | 28cbe434d393066f6b4525c67bd01b1396e97381 (diff) | |
definition of equivalence_from_partition can proof false in everything.tex
Diffstat (limited to 'library/set/cons.tex')
0 files changed, 0 insertions, 0 deletions