Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -32,7 +32,7 @@ int main()
     And (V_is_subset_of_real_coordinate_space_of_dimension_n). And (for_all_p_there_is_an_open_neighbourhood_U).
     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();
+    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