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