Theorem IsDedekindDomain.HeightOneSpectrum.algebraMap_adicCompletion'

Modification history