src/HOL/Real/HahnBanach/Linearform.thy
Fri, 10 Sep 1999 17:28:51 +0200 wenzelm The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar)
less more (0) tip