Homotopy Type Theory
difference quotient > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Contents
Definition
Given a Heyting field and a subtype , let us define the subtype of pairs of elements apart from the diagonal as
Given a function , the difference quotient is the partial binary function
In a field
Given a function , the difference quotient is the partial binary function
In a vector space
Given a -bimodule and a function , the difference quotient is the partial binary function
See also
Revision on April 16, 2022 at 20:53:36 by
Anonymous?.
See the history of this page for a list of all contributions to it.