Homotopy Type Theory
uniformly continuous function > history (changes)
Showing changes from revision #3 to #4:
Added | Removed | Changed
Contents
< uniformly continuous function
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . A function is uniformly continuous in if
See also
Last revised on June 10, 2022 at 19:41:28.
See the history of this page for a list of all contributions to it.