Homotopy Type Theory
differentiable function > history (Rev #5)
Contents
Definition
Valued in fields
Given a algebraic limit 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 May 4, 2022 at 15:54:32 by
Anonymous?.
See the history of this page for a list of all contributions to it.