`BookProof.FockCubicUnbounded.cubeA_apply` (k : ℕ) (x : FockAlg) : cubeA k x = creA k (creA k (creA k x)) + annA k (annA k (annA k x))

Initializing...

`BookProof.FockCubicUnbounded.cubeA_apply` (k : ℕ) (x : FockAlg) : cubeA k x = creA k (creA k (creA k x)) + annA k (annA k (annA k x)) · Prove2Me