3.3. Recursive definitions and structural induction Notes | Discrete Structure BDS | TU | TABFlux