Homotopy Type Theory
Dedekind cut structure > history (Rev #1, changes)
Showing changes from revision #0 to #1:
Added | Removed | Changed
Defintion
Given a type with a dense strict order , a Dedekind cut structure is a pair of subtypes in a universe with monic functions and with
See also
Revision on April 21, 2022 at 18:39:37 by
Anonymous?.
See the history of this page for a list of all contributions to it.