3.2. Strong Induction Notes | Discrete Structure BIT | FWU | TABFlux