Theorem PrimeSpectrum.isMaximal_of_toPiLocalization_surjective

Modification history