`PhysFunctionalAnalysis.hilbert_classification` (E F : Type*) [NormedAddCommGroup E] [InnerProductSpace ℝ E] [CompleteSpace E] [TopologicalSpace.SeparableSpace E] [NormedAddCommGro

Initializing...

`PhysFunctionalAnalysis.hilbert_classification` (E F : Type*) [NormedAddCommGroup E] [InnerProductSpace ℝ E] [CompleteSpace E] [TopologicalSpace.SeparableSpace E] [NormedAddCommGro · Prove2Me