Theorem round_eq_half_ceil_two_mul

Modification history

2025-12-31 20:48
Mathlib/Algebra/Order/Round.lean
chore(Algebra/Order/Floor): review API about `round` (#33421)
Added round_eq_half_ceil_two_mulView on Github →