Showing changes from revision #3 to #4:
Added | Removed | Changed
Let be the Dedekind real numbers with a term
representing that the shape of is contractible (which derives from axiom R-flat), and let be a closed interval or open interval in . Because the shape of is contractible, the shape of any closed or open interval in is contractible. Given a mapping , let us define the graph of the mapping as
in the product type . is continuous if the shape of is contractible:
Let and be space?s with terms
representing that the shapes of and are contractible. Given a mapping , let us define the graph of the mapping as
in the product type . is continuous if the shape of is contractible:
Last revised on June 14, 2022 at 18:01:06. See the history of this page for a list of all contributions to it.