diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-11 21:49:06 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-11 21:49:06 +0200 |
| commit | cfc0b3c9081c242d7bdefe61fc841f31e7a7a257 (patch) | |
| tree | 0f43669c91c25f3fee6efe17329d1c11771b2450 /source/Base.hs | |
| parent | 3502f06c933df7e6177634a519d8c17c2a4d2d57 (diff) | |
proof of complement_interior_eq_closure_complement and some more about clousures(unsatable)
Diffstat (limited to 'source/Base.hs')
0 files changed, 0 insertions, 0 deletions