Proposition 11.22 — validity of the monoidally-strengthened disjunction (with $b_i \le a_{i0}$)

Initializing...

Proposition 11.22 — validity of the monoidally-strengthened disjunction (with $b_i \le a_{i0}$) · Prove2Me