`BookProof.ChapterRieszFischer.finSupport_ne_univ` : FinSupport ≠ (Set.univ : Set Ell2)

Initializing...

`BookProof.ChapterRieszFischer.finSupport_ne_univ` : FinSupport ≠ (Set.univ : Set Ell2) · Prove2Me