Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -34,7 +34,7 @@ int main()
                                    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