Documentation

Lean.Meta.AbstractNestedProofs

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

    Replace proofs nested in e with new lemmas. The new lemmas are named using getDeclNGen.

    Equations
    Instances For