Proof of Theorem 5.4, display p. 777 — (2^d)^T ≤ C_1(d)·(log Ind K)^{C_2(d)} · Prove2Me

P

Initializing...

Proof of Theorem 5.4, display p. 777 — (2^d)^T ≤ C_1(d)·(log Ind K)^{C_2(d)} · Prove2Me