Corollary 11.25 — a weak Lopsided cut needing no monoid optimization (with $b_i \le a_{i0}$)

Initializing...

Corollary 11.25 — a weak Lopsided cut needing no monoid optimization (with $b_i \le a_{i0}$) · Prove2Me