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