Theorem IsDedekindDomain.HeightOneSpectrum.intValuation_toFun

Modification history