Theorem StarAlgebra.elemental.bijective_characterSpaceToSpectrum

Modification history