Theorem ProjectiveSpectrum.union_zeroLocus

Modification history