Def Lean.Elab.InfoTree.getDeclBodyInfos

Modification history

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