kdrag.theories.logic.peano.induct

kdrag.theories.logic.peano.induct(ys, P) → Proof
Return type:

Proof