[CSC 348 S20] Exhaustion, Cases, and WLOG
Channel: Iris Kohler
Date: 2020-04-22

We learn the techniques of proof by exhaustion, cases, and without loss of generality. No, you don't have to be exhausted to do proof by exhaustion, but it's a pretty popular pairing.