Def Rat.evalIntFract

Modification history

2025-11-19 06:07
Mathlib/Data/Rat/Floor.lean
chore: move Mathlib to the module system (#31786) …
Deleted Rat.evalIntFractView on Github →
2025-10-20 21:55
Mathlib/Data/Rat/Floor.lean
feat: norm_num support for Int.fract (#26428)
Added Rat.evalIntFractView on Github →