Def Mathlib.Meta.NormNum.elabNormNum
Modification history
2025-08-20 02:52
Mathlib/Tactic/NormNum/Core.lean
chore: deduplicate "transform at location" methods (#27562) …
Modified Mathlib.Meta.NormNum.elabNormNumView on Github →2024-02-14 08:30
Mathlib/Tactic/NormNum/Core.lean
feat: simp config opts in norm_num (#7112) …
Modified Mathlib.Meta.NormNum.elabNormNumView on Github →