Theorem StarAlgebra.elemental.continuous_characterSpaceToSpectrum

Modification history