Theorem ProjectiveSpectrum.zeroLocus_union

Modification history