Def IsDedekindDomain.HeightOneSpectrum.equivMaximalSpectrum

Modification history