Skip to content
Back to pull request #2924

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

Sign in to view logs

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

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

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