Keyword: mms

Theorem IsMaxminShare ↔ IsAlphaMMS 1 staged

Lemma MMS Value — Basic Bounds staged

Definition Maximin Share (MMS) Allocation formalized

Definition Maximin Share Value formalized

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

Definition α-MMS Allocation formalized

Theorem α-MMS — Monotonicity and Endpoint Lemmas staged