Documentation

Lean.Util.FindExpr

Equations
@[implementedBy Lean.Expr.FindImpl.findUnsafe?]
partial def Lean.Expr.find? (p : Lean.ExprBool) (e : Lean.Expr) :
Equations