Skip to content

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

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

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

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

2c8e77c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.