Def Mathlib.Linter.declTypeLinter

Modification history

2026-10-06 14:58
Mathlib/Tactic/Linter/DeclType.lean
perf(Linter): bundle instance linters into one linter (#44436) …
Added Mathlib.Linter.declTypeLinterView on Github →