Def Lean.Expr.fvarId?

Modification history

2023-01-08 01:33
Mathlib/Lean/Expr/Basic.lean
feat: port the `lift` tactic (#723) …
Added Lean.Expr.fvarId?View on Github →