Def needsInstantiateMVars

Modification history

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