Def Rat.evalIntCeil

Modification history

2025-11-19 06:07

Mathlib/Data/Rat/Floor.lean

chore: move Mathlib to the module system (#31786) …

Deleted Rat.evalIntCeil View on Github →

2024-12-10 02:59

Mathlib/Data/Rat/Floor.lean

feat: norm_num for Int.ceil (#19669) …

Added Rat.evalIntCeil View on Github →