[ add ] obvious lemma about self-contradiction to Relation.Nullary.Negation.Core#2693
Merged
Taneb merged 3 commits intoagda:masterfrom Apr 23, 2025
Commits
Commits on Apr 10, 2025
Commits on Apr 17, 2025
- committed