Theorem ProjectiveSpectrum.vanishingIdeal_univ

Modification history