Keyword: cut-and-choose

Theorem Chooser Is Always Envy-Free staged

Definition Cut-and-Choose Allocation and Fair Cut Point formalized

Theorem Cut-and-Choose Is Envy-Free at a Fair Cut staged

Theorem Cut-and-Choose Output Is a Complete Partition staged

Theorem Cutter Does Not Envy at a Fair Cut staged

Theorem Fair Cut Point Exists staged

Theorem Two-Agent EF Existence via Cut-and-Choose staged