Theorem PrimeSpectrum.zeroLocus_univ

Modification history