Homotopy Type Theory
Sandbox
metric spaces
-
reflexive: for all and , .
-
symmetric: for all , , and , implies that .
-
additively transitive: for all , , , , and , and implies that .
-
separation: for all and , if for all , then .
Last revised on November 18, 2024 at 18:07:35.
See the history of this page for a list of all contributions to it.