`BookProof.SecondQuantizationCore.isGraphCore_fockSectorCore` (hcore : IsGraphCore D A) (n : ℕ) : IsGraphCore (fockSectorCore Hs D₂ D n) (fockSectorOp Hs D₂ A n)

Initializing...

`BookProof.SecondQuantizationCore.isGraphCore_fockSectorCore` (hcore : IsGraphCore D A) (n : ℕ) : IsGraphCore (fockSectorCore Hs D₂ D n) (fockSectorOp Hs D₂ A n) · Prove2Me