The Hahn-Banach theorem for real vectorspaces;
The Hahn-Banach theorem for real vectorspaces;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle