`PhysFunctionalAnalysis.l2_separable` : TopologicalSpace.SeparableSpace (Lp ℝ 2 unitMeasure)

Initializing...

`PhysFunctionalAnalysis.l2_separable` : TopologicalSpace.SeparableSpace (Lp ℝ 2 unitMeasure) · Prove2Me