summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

src/HOL/ROOT

changeset 55018 | 2a526bd279ed |

parent 54961 | e60428f432bc |

child 55033 | 8e8243975860 |

--- a/src/HOL/ROOT Thu Jan 16 16:20:17 2014 +0100 +++ b/src/HOL/ROOT Thu Jan 16 16:33:19 2014 +0100 @@ -61,7 +61,7 @@ This is the proof of the Hahn-Banach theorem for real vectorspaces, following H. Heuser, Funktionalanalysis, p. 228 -232. The Hahn-Banach - theorem is one of the fundamental theorems of functioal analysis. It is a + theorem is one of the fundamental theorems of functional analysis. It is a conclusion of Zorn's lemma. Two different formaulations of the theorem are presented, one for general