P
Initializing...
: Dense ((lpFiniteModes Conf : Submodule ℂ Fock) : Set Fock) · Prove2Me