1.3.6. Exhaustive Proofs and Proof by Cases Verbal Notes | Discrete Structure BIT | TU | TABFlux