Theorem Rat.ceil_intCast_div_natCast

Modification history

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