Theorem NumberField.RingOfIntegers.HeightOneSpectrum.isNonarchimedean_adicAbv

Modification history