Induction hypothesis
= Induction hypothesis
The assertion assumed for earlier cases during an <induction> proof. It is a conditional assumption inside the induction step, not an assumption that all cases already hold.
= Induction hypothesis
The assertion assumed for earlier cases during an <induction> proof. It is a conditional assumption inside the induction step, not an assumption that all cases already hold.