Theorem ProjectiveSpectrum.zeroLocus_empty_of_one_mem

Modification history