P
Initializing...
Lemma 1 — endowment monotonicity implies endowment continuity · Prove2Me