Def Mathlib.Linter.OverlappingInstances.overlappingInstances

Modification history

2026-10-06 14:58
Mathlib/Tactic/Linter/OverlappingInstances.lean
perf(Linter): bundle instance linters into one linter (#44436) …
Deleted Mathlib.Linter.OverlappingInstances.overlappingInstancesView on Github →
2026-05-27 10:15
Mathlib/Tactic/Linter/OverlappingInstances.lean
feat: overlapping instances linter (#38126) …
Added Mathlib.Linter.OverlappingInstances.overlappingInstancesView on Github →