`BookProof.NavierStokesFlow.FockOfFock.numberOp_basis` (m : M) (n : Conf M) : numberOp m (fockBasis n) = ((n m : ℝ) : ℂ) • fockBasis n

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.numberOp_basis` (m : M) (n : Conf M) : numberOp m (fockBasis n) = ((n m : ℝ) : ℂ) • fockBasis n · Prove2Me