Homotopy Type Theory
pointwise continuous function > history (Rev #2)
Contents
Definition
In premetric spaces
Let be a type and be a -premetric space. An endofunction is continuous at a point if the limit of approaching exists and is equal to
A function is pointwise continuous if it is continuous at all points :
See also
Revision on March 21, 2022 at 03:52:36 by
Anonymous?.
See the history of this page for a list of all contributions to it.