Update README.md

README.md

@@ -14,6 +14,16 @@ int main (/* implementation-defined */)
 {
   std::cout << "Hello world!" << std::endl;
 
+  Suppose_literal (for_all_p_there_is_an_open_neighbourhood_U, true);
+
+  Suppose_literal (U_is_element_of_M, true);
+
+  Suppose_literal (U_is_homeomorphic_to_an_open_subset_V, true);
+
+  Suppose_literal (V_is_subset_of_real_coordinate_space_of_dimension_n, true);
+
+  Suppose_literal (for_all_p_for_some_chart, true);
+
   auto third_condition_from_definition_2_1 = for_all_p_there_is_an_open_neighbourhood_U. And (U_is_element_of_M). And (U_is_homeomorphic_to_an_open_subset_V). And (V_is_subset_of_real_coordinate_space_of_dimension_n);
 
   auto rewrite_third_condition_from_definition_2_1 = for_all_p_for_some_chart. Implying (third_condition_from_definition_2_1);