Keyword: monotonicity

Theorem EF ⇒ EFX (Monotone Valuations) staged

Theorem EFX from No-Envy + Monotonicity staged

Definition Monotonic Coalitional Game staged

Definition Monotonic Social Choice Function formalized

Theorem Myerson Monotonicity Characterization proved

Theorem α-MMS — Monotonicity and Endpoint Lemmas staged