Update De_Rham_Cohomology_of_smooth_manifolds.cpp

De_Rham_Cohomology_of_smooth_manifolds.cpp

@@ -14,7 +14,6 @@ int main()
 {
     // supposed A_topological_space_M, topological_space function
     Suppose_literal (A_topological_space_M, is_topological_space("M string"));
-
     // like above, you may create a function for each literal below
     Suppose_literal (M_is_Hausdorff, true);
     Suppose_literal (Points_can_be_seperated_by_open_sets, true);