3.3. Structural Induction Notes | Discrete Structure BIT | FWU | TABFlux