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 |
