Formaler Potenzreihenring/Eine Variable/T+../Transformierbar auf T/Fakt/Name

Der Satz über Automorphismen auf dem Potenzreihenring.