Theorem ProjectiveSpectrum.zeroLocus_singleton_pow

Modification history