1.3.7. Mistakes in Proof Verbal Notes | Discrete Structure BIT | TU | TABFlux