3.1. Induction Notes | Discrete Structure BIT | TU | TABFlux