diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-18 17:07:15 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-18 17:07:15 +0200 |
| commit | 9563a18e455469bc64a9a8f61a95fb33f506bed0 (patch) | |
| tree | 3a501173b0dee45428d2089837533c36a875fef2 /test/golden/finite-set-terms/verification.golden | |
| parent | f2690dcd548d51fa8024fe2410c797aa8af1180b (diff) | |
Definition of T3 and regular spaces.
Diffstat (limited to 'test/golden/finite-set-terms/verification.golden')
0 files changed, 0 insertions, 0 deletions