Def Mathlib.Tactic.Lint.isSimpEq

Modification history