Keyword: alpha-mms

Theorem IsMaxminShare ↔ IsAlphaMMS 1 staged

Theorem PROP ⇒ α-MMS (Additive Valuations) staged

Definition α-MMS Allocation formalized

Theorem α-MMS — Monotonicity and Endpoint Lemmas staged