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

Initializing...

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