`BookProof.ChapterSeparableSpectrum.metrizableSpace_iff_separableSpace_continuousMap` : MetrizableSpace Y ↔ SeparableSpace C(Y, ℂ)

Initializing...

`BookProof.ChapterSeparableSpectrum.metrizableSpace_iff_separableSpace_continuousMap` : MetrizableSpace Y ↔ SeparableSpace C(Y, ℂ) · Prove2Me