Theorem PrimeSpectrum.vanishingIdeal_strict_anti_mono_iff

Modification history