Def Mathlib.Tactic.Lint.checkAllSimpLemmaInfos

Modification history