diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-14 10:50:26 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-14 10:50:26 +0200 |
| commit | 5a7450eedc020867ee52ae9f1ecb6def7aa998bb (patch) | |
| tree | 4ffcb59559ad4631e49802ef1aa6e7e19b3031da /test/golden/coord/tokenizing.golden | |
| parent | ee24a73a01608125e6648f7b66d9c679e955009d (diff) | |
The added proposition and definition should have
resloved some proofing complications, but
they can prove flase together with lemmas about
ordinal, the exat lemma are in urysohn.tex at
line 522.
Diffstat (limited to 'test/golden/coord/tokenizing.golden')
0 files changed, 0 insertions, 0 deletions