Keyword: proportional

Definition Divisible Envy-Free, Proportional, Equitable Predicates formalized

Lemma Dubins–Spanier Inductive Step staged

Theorem Dubins–Spanier Proportional Existence staged

Theorem Dubins–Spanier as a Rule on Measure Instances staged

Theorem EF + Proportional Existence (Stromquist Corollary) staged

Theorem EF ⇒ PROP (Additive Valuations, Complete Allocations) staged

Theorem EF ⇒ Proportional (Measure Valuations) staged

Definition Indivisible Proportional formalized

Theorem Measure-Instance Existence Wrappers staged

Theorem PROP ⇒ MMS (Additive Valuations, Complete Allocations) staged

Theorem PROP ⇒ α-MMS (Additive Valuations) staged

Definition Proportional Allocation formalized

Theorem Proportional Existence on [0,1] (n Agents) staged