Def Mathlib.Meta.NormNum.getSimpContext

Modification history

2024-02-14 08:30
Mathlib/Tactic/NormNum/Core.lean
feat: simp config opts in norm_num (#7112) …
Modified Mathlib.Meta.NormNum.getSimpContextView on Github →
2022-11-07 21:34
Mathlib/Tactic/NormNum/Core.lean
feat: `#conv` command: `#simp`, `#norm_num` etc. (#539) …
Added Mathlib.Meta.NormNum.getSimpContextView on Github →