Def Mathlib.Meta.NormNum.evalNNRatDivNat

Modification history

2026-06-10 19:34

Mathlib/Tactic/NormNum/Inv.lean

feat(Tactic): generalize ofScientific NormNum extension to `DivisionSemiring` (#34805)

Added Mathlib.Meta.NormNum.evalNNRatDivNat View on Github →