`BookProof.ChapterSeparableSpectrum.separableSpace_continuousMap_characterSpace` [SeparableSpace A] : SeparableSpace C(characterSpace ℂ A, ℂ)

Initializing...

`BookProof.ChapterSeparableSpectrum.separableSpace_continuousMap_characterSpace` [SeparableSpace A] : SeparableSpace C(characterSpace ℂ A, ℂ) · Prove2Me