Social Choice.Fair Division.Divisible.Cut And Choose

7 nodes 1 formalized 6 staged

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