Theorem IsDedekindDomain.HeightOneSpectrum.intValuation_le_pow_iff_mem

Modification history