Theorem ProjectiveSpectrum.vanishingIdeal_union

Modification history