`BookProof.ChapterRieszFischer.core_proper_and_dense` : Dense FinSupport ∧ FinSupport ≠ (Set.univ : Set Ell2)

Initializing...

`BookProof.ChapterRieszFischer.core_proper_and_dense` : Dense FinSupport ∧ FinSupport ≠ (Set.univ : Set Ell2) · Prove2Me