Lean.Meta.Tactic.Rename
source
Rename the user-face naming for the free variable fvarId at mvarId.
fvarId
mvarId