Theorem PrimeSpectrum.vanishingIdeal_irreducibleComponents

Modification history