def Lean.MVarId.rename (mvarId : Lean.MVarId) (fvarId : Lean.FVarId) (userNameNew : Lake.Name) : Lean.MetaM Lean.MVarId

Rename the user-face naming for the free variable fvarId at mvarId.

Equations

• One or more equations did not get rendered due to their size.