P
Initializing...
Theorem 8.4A — a basic lift-and-project cut equals a simple disjunctive cut · Prove2Me