Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -34,12 +34,12 @@ int main()
     bool M_is_a_manifold_of_dimension_n = manifold_of_dimension_n. Value();
     Suppose_literal (let_M_be_a_manifold_of_dimension_n, M_is_a_manifold_of_dimension_n);    
     // like the supposed literal a_topological_space_M, you may create a function for each literal below
-    Suppose_literal (a_pair_U_psi_where_U_is_element_of_M_is_open, true);
+    Suppose_literal (U_is_element_of_M, true);
+    Suppose_literal (a_pair_U_psi_where_U_is_open, true);
     Suppose_literal (psi_maps_U_to_V_a_homeomorphism_to_some_open_V, true);
 
-    auto chart = let_M_be_a_manifold_of_dimension_n. And (a_pair_U_psi_where_U_is_element_of_M_is_open).
-    And (psi_maps_U_to_V_a_homeomorphism_to_some_open_V);
-
+    auto chart = let_M_be_a_manifold_of_dimension_n. And (U_is_element_of_M).
+    And (a_pair_U_psi_where_U_is_open). And (psi_maps_U_to_V_a_homeomorphism_to_some_open_V);
 
     return 0;
 }