Update De_Rham_Cohomology_of_smooth_manifolds.cpp
Browse files
De_Rham_Cohomology_of_smooth_manifolds.cpp
CHANGED
|
@@ -12,7 +12,7 @@ bool is_topological_space(const std::string& M)
|
|
| 12 |
|
| 13 |
int main()
|
| 14 |
{
|
| 15 |
-
// supposed A_topological_space_M,
|
| 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);
|
|
|
|
| 12 |
|
| 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);
|