Update De_Rham_Cohomology_of_smooth_manifolds.cpp
Browse files
De_Rham_Cohomology_of_smooth_manifolds.cpp
CHANGED
|
@@ -13,7 +13,7 @@ bool is_topological_space(const std::string& M)
|
|
| 13 |
int main()
|
| 14 |
{
|
| 15 |
// supposed A_topological_space_M, is_topological_space function
|
| 16 |
-
Suppose_literal (a_topological_space_M, is_topological_space("M_string"));
|
| 17 |
// like above, you may create a function for each literal below
|
| 18 |
Suppose_literal (M_is_Hausdorff, true);
|
| 19 |
Suppose_literal (points_can_be_seperated_by_open_sets, true);
|
|
|
|
| 13 |
int main()
|
| 14 |
{
|
| 15 |
// supposed A_topological_space_M, is_topological_space function
|
| 16 |
+
Suppose_literal (a_topological_space_M, is_topological_space ("M_string"));
|
| 17 |
// like above, you may create a function for each literal below
|
| 18 |
Suppose_literal (M_is_Hausdorff, true);
|
| 19 |
Suppose_literal (points_can_be_seperated_by_open_sets, true);
|