`BookProof.VielbeinFock.vielbeinFockCore_dense` (d : ℕ) : Dense ((vielbeinFockCore d : Submodule ℂ (vielbeinFock d)) : Set (vielbeinFock d))

Initializing...

`BookProof.VielbeinFock.vielbeinFockCore_dense` (d : ℕ) : Dense ((vielbeinFockCore d : Submodule ℂ (vielbeinFock d)) : Set (vielbeinFock d)) · Prove2Me