Proof by cases mathematical notation

Proof by cases is a recurring research-paper notation family. Partitions all possibilities into exhaustive cases and proves the target proposition separately under each case.

Proof by cases: Partitions all possibilities into exhaustive cases and proves the target proposition separately under each case. Example: Verify the claim in every branch that could occur.