Decompose a claim into exhaustive proof cases

Split a claim into cases that provably cover all possibilities and prove the conclusion in each.

An exhaustive case split with per-case sub-proofs and a summary establishing the claim in general.

Template