Theorem IsDedekindDomain.HeightOneSpectrum.intValuation_if_neg

Modification history