Def ProjectiveSpectrum.zeroLocus

Modification history