Definition:Induction Step/Also presented as

From ProofWiki
Jump to navigation Jump to search

Induction Step: Also presented as

Some sources present the induction step in the form:

$\map P {k - 1} \implies \map P k$


Sources