Def Lean.Meta.Simp.simpEq

Modification history

2023-03-24 02:31
Mathlib/Lean/Meta/Simp.lean
feat: elementwise linting checks, and putting into simp normal form (#2956) …
Added Lean.Meta.Simp.simpEqView on Github →