Def Lean.Expr.getExprInputs

Modification history

2023-10-09 12:27
Mathlib/Tactic/MoveAdd.lean
feat(Tactic/MoveAdd): port `move_add` (#6576) …
Added Lean.Expr.getExprInputsView on Github →