Theorem MaximalSpectrum.range_asIdeal

Modification history