kdrag.theories.logic.peano

Functions

induct(ys, P)

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

Proof