Homotopy Type Theory
differentiable function > history (Rev #4)
Contents
Definition
Valued in fields
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 23, 2022 at 03:57:38 by
Anonymous?.
See the history of this page for a list of all contributions to it.