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

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics