P

Initializing...

Theorem 7.7 — $K_t \subseteq P_{i_1,\dots,i_t}(K)$ for any $t$ distinct 0-1 indices · Prove2Me