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