P
Initializing...
{j k : ℕ} (h : j ≠ k) (u : FockAlg) : annA j (creA k u) = creA k (annA j u) · Prove2Me