Def Lean.Elab.Info.getLCtx?

Modification history

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