Theorem ProjectiveSpectrum.zeroLocus_inf

Modification history