Strong induction vs. structural induction?

Printable View