P
Initializing...
Proposition 12.1 — validity for a V-polyhedral disjunctive set via vertices and rays (nonempty disjuncts) · Prove2Me