Theorem MaximalSpectrum.mapPiLocalization_bijective

Modification history