diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-12 00:52:54 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-12 00:52:54 +0200 |
| commit | a79924e85260c911045f43bac3f051a8be6e5334 (patch) | |
| tree | 21c66c173573b169fee0809d89f09ab3eb705c3a /test/golden/geometry/parsing.golden | |
| parent | c4894bc4e788fae079b76b824a8d86c167098cc8 (diff) | |
Completed the structure of the proof of Urysohn.
Now every single step has to be proven.
Diffstat (limited to 'test/golden/geometry/parsing.golden')
0 files changed, 0 insertions, 0 deletions