P
Initializing...
Theorem 4.4.5 — monotone value/consumption across a $\le_{icv}$-ordered regime chain · Prove2Me