Keyword: additive

Definition Additive Valuation formalized

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

Definition Indivisible Additive Instance formalized

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

Theorem PROP ⇒ α-MMS (Additive Valuations) staged