Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -10,7 +10,7 @@ bool is_topological_space(const std::string& M)
     return result;
 }
 
-int main (/*start of the program*/)
+int main (/* implementation-defined */)
 {
     // supposed a_topological_space_M, is_topological_space function
     Suppose_literal (a_topological_space_M, is_topological_space ("M_string"));
@@ -34,7 +34,7 @@ int main (/*start of the program*/)
                                    And (U_is_homeomorphic_to_an_open_subset_V).
                                    Implying (a_topological_space_M);
 
-    bool M_is_a_manifold_of_dimension_n = manifold_of_dimension_n. Value (/*truth value*/);
+    bool M_is_a_manifold_of_dimension_n = manifold_of_dimension_n. Value (/* truth 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 introduce a function for each literal below