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

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics