Def Mathlib.Linter.OverlappingInstances.eraseInstances

Modification history

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