Def Mathlib.Linter.OverlappingInstances.overlappingInstances

Modification history

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