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

by Gertrud Bauer
Venue:PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOL-REAL/HAHNBANACH/DOCUMENT.PDF
Citations:4 - 1 self