Def Mathlib.Tactic.Lint.withSimpLemmaInfos

Modification history