Commit 2021-12-13 09:36 779517b6
View on Github →feat(algebra/order/floor): Floor of a / n
and other lemmas (#10748)
A few floor lemmas + one tsub
lemma
feat(algebra/order/floor): Floor of a / n
and other lemmas (#10748)
A few floor lemmas + one tsub
lemma