Def Mathlib.Meta.NormNum.evalMkRat
Modification history
2023-10-04 08:36
Mathlib/Tactic/NormNum/Inv.lean
chore: cleanup some spaces (#7490) …
Modified Mathlib.Meta.NormNum.evalMkRatView on Github →2023-09-12 05:28
Mathlib/Tactic/NormNum/Basic.lean
chore: further refactors of prerequisites of `norm_num` (#7097)
Modified Mathlib.Meta.NormNum.evalMkRatView on Github →