Structure Mathlib.Tactic.Lint.NamedLinter

Modification history