P

Initializing...

Quantum Lovász Local Lemma (asymmetric form): $\mathrm{R}(\bigcap_i X_i) \ge \prod_i (1-y_i)$ · Prove2Me