Theorem 4.4 — (EXC) iff every $\operatorname{argmax}(\omega[p])$ is an integral base set

Initializing...

Theorem 4.4 — (EXC) iff every $\operatorname{argmax}(\omega[p])$ is an integral base set · Prove2Me