Homotopy Type Theory
axiom R-flat > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Definition
Axiom : For a space , is discrete if and only if is an equivalence, where is the Dedekind real numbers.
See also
References
Revision on April 22, 2022 at 23:29:42 by
Anonymous?.
See the history of this page for a list of all contributions to it.