# Documentation

Lean.Meta.AbstractNestedProofs

Equations
• One or more equations did not get rendered due to their size.
Instances For
Instances For
@[inline]
Equations
• One or more equations did not get rendered due to their size.

Replace proofs nested in e with new lemmas. The new lemmas have names of the form mainDeclName.proof_

Equations