Wiktionary
proofs by exhaustion
n. (proof by exhaustion English)
n. (proof by exhaustion English)