$n$ qubits as Mathlib's tensor power of $\mathbb{C}^2$, and extension of local constraints

Initializing...

$n$ qubits as Mathlib's tensor power of $\mathbb{C}^2$, and extension of local constraints · Prove2Me