Def Rat.evalRound

Modification history

2025-11-19 06:07

Mathlib/Data/Rat/Floor.lean

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

Deleted Rat.evalRound View on Github →

2025-11-05 04:06

Mathlib/Data/Rat/Floor.lean

feat: add `norm_num` extensions (#28836) …

Added Rat.evalRound View on Github →