Homotopy Type Theory
uniformly continuous function > history (Rev #2)
Contents
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In 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
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.