Def Lean.Expr.fvarId?

Modification history

2025-03-03 14:53
Mathlib/Lean/Expr/Basic.lean
chore: bump toolchain to v4.18.0-rc1 (#22500) …
Deleted Lean.Expr.fvarId?View on Github →
2023-01-08 01:33
Mathlib/Lean/Expr/Basic.lean
feat: port the `lift` tactic (#723) …
Added Lean.Expr.fvarId?View on Github →