help with structural induction

Printable View