Theorem ProjectiveSpectrum.zeroLocus_singleton_mul

Modification history