Theorem IsDedekindDomain.HeightOneSpectrum.intValuation_def

Modification history