Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -12,7 +12,7 @@ bool is_topological_space(const std::string& M)
 
 int main()
 {
-    // supposed A_topological_space_M, is_topological_space function
+    // 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
     Suppose_literal (M_is_Hausdorff, true);
@@ -32,7 +32,7 @@ int main()
     Implying (a_topological_space_M);
 
     Suppose_literal (let_M_be_a_manifold_of_dimension_n, manifold_of_dimension_n. Value());
-    // 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 create a function for each literal below
     Suppose_literal (a_pair_U_psi_where_U_is_element_of_M_is_open, true);
     Suppose_literal (psi_maps_U_to_V_a_homeomorphism_to_some_open_V, true);