Theorem elementalStarAlgebra.continuous_characterSpaceToSpectrum

Modification history