Social Choice.Fair Division.Divisible.Dubins Spanier

4 nodes 4 staged

Lemma Dubins–Spanier Inductive Step staged

Theorem Dubins–Spanier Proportional Existence staged

Theorem Dubins–Spanier as a Rule on Measure Instances staged

Lemma IVT — Cut Point Exists for Non-Atomic Measures on [0,1] staged