Theorem MaximalSpectrum.toPiLocalization_injective

Modification history