Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -14,7 +14,7 @@ int main()
 {
     // supposed a_topological_space_M, is_topological_space function
     Suppose_literal (a_topological_space_M, is_topological_space ("M_string"));
-    // like above, you may create a function for each literal below
+    // like above, you may introduce a function for each literal below
     Suppose_literal (M_is_Hausdorff, true);
     Suppose_literal (points_can_be_seperated_by_open_sets, true);
     Suppose_literal (M_is_second_countable, true);
@@ -33,7 +33,7 @@ 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
+    // like the supposed literal a_topological_space_M, you may introduce a function for each literal below
     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);