Theorem PrimeSpectrum.zeroLocus_union

Modification history