def Lean.MVarId.revertAll (mvarId : Lean.MVarId) : Lean.MetaM Lean.MVarId

Revert all free variables at goal mvarId.

Equations

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