P
Initializing...
Quantum local lemma for $k$-QSAT, function-model subspace form (Corollary 16) · Prove2Me