src/HOL/Hahn_Banach/Hahn_Banach_Sup_Lemmas.thy
changeset 39072 1030b1a166ef
parent 32960 69916a850301
child 44887 7ca82df6e951