diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-04 15:29:13 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-06-04 15:29:13 +0200 |
| commit | 3d6ce5e9d5e63a5e5ed833516c62ad056e506775 (patch) | |
| tree | 42db98a592a88080aa6b23e26b429553c39904a6 /test/golden/relation-notation | |
| parent | 050b56baf7a158bff0eb721e03263b121bdc23c3 (diff) | |
Proof of teeone_implies_singletons_closed
The Assumption was changed, for usage of bounded variables. Maybe there is a bug with Omitted. Omitted restricts the Ambigus Phrase testing.
Diffstat (limited to 'test/golden/relation-notation')
0 files changed, 0 insertions, 0 deletions