Structure Mathlib.Tactic.Lint.SimpLemmaInfo

Modification history