Def Mathlib.Tactic.Lint.simpVarHead

Modification history