calebnwokocha commited on
Commit
52770d0
·
verified ·
1 Parent(s): 926947c

Update De_Rham_Cohomology_of_smooth_manifolds.cpp

Browse files
De_Rham_Cohomology_of_smooth_manifolds.cpp CHANGED
@@ -33,6 +33,7 @@ int main()
33
 
34
  bool M_is_a_manifold_of_dimension_n = manifold_of_dimension_n. Value();
35
  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
 
36
  Suppose_literal (a_pair_U_psi_where_U_is_element_of_M_is_open, true);
37
  Suppose_literal (psi_maps_U_to_V_a_homeomorphism_to_some_open_V, true);
38
 
 
33
 
34
  bool M_is_a_manifold_of_dimension_n = manifold_of_dimension_n. Value();
35
  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
36
+ // like the supposed literal a_topological_space_M, you may create a function for each literal below
37
  Suppose_literal (a_pair_U_psi_where_U_is_element_of_M_is_open, true);
38
  Suppose_literal (psi_maps_U_to_V_a_homeomorphism_to_some_open_V, true);
39