Induction Principles¶

Basics¶

Polymorphism¶

Induction Hypotheses¶

More on the `induction` Tactic¶

Induction Principles in `Prop`¶

Formal vs. Informal Proofs by Induction¶

Induction Over an Inductively Defined Set¶

Induction Over an Inductively Defined Proposition¶