structural induction

Printable View