Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -32,7 +32,7 @@ int main()
     Implying (a_topological_space_M);
 
     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 (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 (psi_maps_U_to_V_a_homeomorphism_to_some_open_V, true);