Def Lean.Elab.InfoTree.findSome?

Modification history

2025-11-21 23:43
Mathlib/Lean/Elab/InfoTree.lean
feat: InfoTree API: `InfoTree.findSome`(`M`)`?` and `InfoTree.onHighestNode?` (#31725) …
Added Lean.Elab.InfoTree.findSome?View on Github →