Def Mathlib.Linter.OverlappingInstances.runLinter

Modification history

2026-05-27 10:15
Mathlib/Tactic/Linter/OverlappingInstances.lean
feat: overlapping instances linter (#38126) …
Added Mathlib.Linter.OverlappingInstances.runLinterView on Github →