3.2. Recursive Definitions and Structural Induction Notes | Discrete Structure BIT | TU | TABFlux