Theorem Rat.ceil_natCast_div_natCast

Modification history

2024-12-10 02:59
Mathlib/Data/Rat/Floor.lean
feat: norm_num for Int.ceil (#19669) …
Added Rat.ceil_natCast_div_natCastView on Github →