P

Initializing...

Quantum local lemma for $k$-QSAT on $n$ qubits, operator form (Corollary 16) · Prove2Me