floor): several round and fract lemmas (#17001)

Commit

3 years ago

feat(algebra/order/floor): several round and fract lemmas (#17001) Lemmas about fract of negations, and about rounds under various operations

Author

alexjbest

Parents