diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-31 18:45:44 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-31 18:45:44 +0200 |
| commit | 8cc2f8557d68c492cd0327f2f49051ff0a7b0f6a (patch) | |
| tree | 8687bdf6ade037a8ffeeb3275d52ab629ca0628c /megalodon/scraps.tex | |
| parent | 26cf156763f71aaa9f638408ba4bffb85b886ab0 (diff) | |
Contradiction in sequence
False can be proven with
iff_sequence, codom_of_emptyset_can_be_anything,sequence,
emptyset_is_function_on_emptyset,id_dom,in_irrefl,
suc_subseteq_implies_in,emptyset_subseteq
Diffstat (limited to 'megalodon/scraps.tex')
0 files changed, 0 insertions, 0 deletions