Skip to content

[ add ] Nat lemmas with _∸_, _⊔_ and _⊓_#2924

Merged
MatthewDaggitt merged 1 commit intoagda:masterfrom
jkopanski:more-nats
Mar 3, 2026
Merged

[ add ] Nat lemmas with _∸_, _⊔_ and _⊓_#2924
MatthewDaggitt merged 1 commit intoagda:masterfrom
jkopanski:more-nats

Commits

Commits on Feb 24, 2026