[ deprecate ] names for deMorgan lemmas in Relation.Nullary.Negation#2838
Merged
jamesmckinna merged 1 commit intoagda:masterfrom Oct 26, 2025
Merged
[ deprecate ] names for deMorgan lemmas in `Relation.Nullary.Negation`#2838jamesmckinna merged 1 commit intoagda:masterfrom
jamesmckinna merged 1 commit intoagda:masterfrom
Commits
Commits on Oct 11, 2025
- committed
