return to top
source
Replace proofs nested in e with new lemmas. The new lemmas have names of the form mainDeclName.proof_<idx>
e
mainDeclName.proof_<idx>