Def Mathlib.Tactic.Lint.constToSimpDeclMap

Modification history