P

Initializing...

Remark 1 — justified max envy is justified envy under $\succ^r$; stability is classical stability for $(P,\succ^r)$ · Prove2Me