Def Lean.Elab.InfoTree.getHighestInfo?

Modification history

2026-05-27 10:15
Mathlib/Lean/Elab/InfoTree.lean
feat: overlapping instances linter (#38126) …
Added Lean.Elab.InfoTree.getHighestInfo?View on Github →