Theorem PrimeSpectrum.localization_comap_inducing

Modification history