# Documentation

Lean.Elab.Level

Instances For
Instances For
@[inline]
Equations
Equations
@[always_inline]
Equations
• One or more equations did not get rendered due to their size.
Equations
@[always_inline]
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.