Homotopy Type Theory
uniformly continuous function > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Contents
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In set homotopy type theory
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . A function is uniformly continuous in if
In premetric spaces
In homotopy type theory
Let be a premetric space and let
In Archimedean ordered fields
Let be the positive elements in . be A an functionArchimedean ordered field and let is uniformly continuous in if
be the positive elements in . A function is uniformly continuous in if
In premetric spaces
Let be a premetric space and let
be the positive elements in . A function is uniformly continuous in if
See also
Revision on May 4, 2022 at 21:04:04 by
Anonymous?.
See the history of this page for a list of all contributions to it.