changeset 70178 | 4900351361b0 |
parent 70089 | eca8611201e9 |
child 70621 | 1afcfb7fdff4 |
--- a/src/HOL/Analysis/Analysis.thy Tue Apr 16 19:50:30 2019 +0000 +++ b/src/HOL/Analysis/Analysis.thy Wed Apr 17 17:48:28 2019 +0100 @@ -29,7 +29,7 @@ Bounded_Continuous_Function Abstract_Topology Product_Topology - T1_Spaces + Lindelof_Spaces Infinite_Products Infinite_Set_Sum Weierstrass_Theorems