Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Name

Der Satz über die algebraische Struktur eines Potenzreihenrings .