P
Initializing...
Claim 4.8 — perturbing agent 1 toward its bundle keeps the allocation · Prove2Me