`BookProof.SmBrstGhost.annih_sq` {N : ℕ} (i : Fin N) : (annih i : Module.End ℂ (FermiFock N)) * annih i = 0

Initializing...

`BookProof.SmBrstGhost.annih_sq` {N : ℕ} (i : Fin N) : (annih i : Module.End ℂ (FermiFock N)) * annih i = 0 · Prove2Me