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