Homotopy Type Theory
difference quotient > history (changes)
Showing changes from revision #3 to #4:
Added | Removed | Changed
Contents
< difference quotient
Definition
Given a Heyting field and a subtype , let us define the subtype of pairs of elements apart from the diagonal as
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
Last revised on June 10, 2022 at 17:57:15.
See the history of this page for a list of all contributions to it.