Def IsDedekindDomain.HeightOneSpectrum.adicAbvDef

Modification history