`BookProof.ScalarDGamma.dense_fockSectorDom` (n : ℕ) : Dense ((fockSectorDom Hs ⊤ n : Submodule ℂ (fockSector Hs n)) : Set (fockSector Hs n))

Initializing...

`BookProof.ScalarDGamma.dense_fockSectorDom` (n : ℕ) : Dense ((fockSectorDom Hs ⊤ n : Submodule ℂ (fockSector Hs n)) : Set (fockSector Hs n)) · Prove2Me