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

Document Versions

The Hahn-Banach Theorem for real vector spaces –Gertrud Bauer — 2001 — PART OF THE ISABELLE99-2 DISTRIBUTION, LIBRARY/HOL/HOL-REAL/HAHNBANACH/DOCUMENT.PDF
The Hahn-Banach Theorem for Real Vector Spaces –Gertrud Bauer — 2003 — Part of the Isabelle99-2 distribution, library/HOL/HOL-Real/HahnBanach/document.pdf