## The Hahn Banach theorem in the vector space over the field of complex numbers

by
Anna Justyna Milewska

Venue: | Journal of Formalized Mathematics |

Citations: | 8 - 0 self |