P
Initializing...
(j : ℕ) (u : FockAlg) : annA j (creA j u) - creA j (annA j u) = u · Prove2Me