Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
def
Lean.Meta.unfoldLocalDecl
(mvarId : Lean.MVarId)
(fvarId : Lean.FVarId)
(declName : Lean.Name)
:
Equations
- One or more equations did not get rendered due to their size.