Theorem elementalStarAlgebra.bijective_characterSpaceToSpectrum

Modification history