The Hahn-Banach theorem by disjunction elimination
scientific article; zbMATH DE number 7469122
scientific article