Homotopy Type Theory
differentiable function > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Contents
Definition
Given a calculus field? , a subtype , a pointwise continuous function is differentiable if the difference quotient has a limit approaching the diagonal
Let us define the type of differentiable functions on as the type of pointwise continuous functions that are differentiable.
See also
Revision on April 16, 2022 at 16:42:26 by
Anonymous?.
See the history of this page for a list of all contributions to it.