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