Sommaire
Der Satz von Hahn-Banach per Disjunktionselimination
[The Hahn-Banach theorem by disjunction elimination]
[The Hahn-Banach theorem by disjunction elimination]