# Documentation

Lean.Elab.Tactic.Unfold

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.

"unfold " ident+ (location)?

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.