fixes for image closure vs function spaces
Showing
- thys/Levy_Prokhorov_Metric/Prokhorov_Theorem.thy 1 addition, 1 deletionthys/Levy_Prokhorov_Metric/Prokhorov_Theorem.thy
- thys/Stone_Cech/Stone_Cech.thy 71 additions, 92 deletionsthys/Stone_Cech/Stone_Cech.thy
- thys/Topological_Groups/Topological_Group.thy 6 additions, 7 deletionsthys/Topological_Groups/Topological_Group.thy
Loading
Please register or sign in to comment