n` and other lemmas (#10748)

Commit

4 years ago

feat(algebra/order/floor): Floor of `a / n` and other lemmas (#10748) A few floor lemmas + one `tsub` lemma

Author

YaelDillies

Parents