`BookProof.ChapterSeparableSpectrum.separableSpace_continuousMap_of_metrizable` [MetrizableSpace Y] : SeparableSpace C(Y, ℂ)

Initializing...

`BookProof.ChapterSeparableSpectrum.separableSpace_continuousMap_of_metrizable` [MetrizableSpace Y] : SeparableSpace C(Y, ℂ) · Prove2Me