Def Rat.evalIntCeil

Modification history

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