Theorem ProjectiveSpectrum.zeroLocus_singleton_zero

Modification history