Def Mathlib.Linter.OverlappingInstances.getAbstractProjectionsCached

Modification history

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