The Hahn-Banach theorem for real vector spaces (2001)

by Gertrud Bauer
Venue:In PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOLREAL/HAHNBANACH/DOCUMENT.PDF