P
Initializing...
: Dense ((FockDom M : Submodule ℂ (FockL2 M)) : Set (FockL2 M)) · Prove2Me