Homotopy Type Theory
difference quotient > history (Rev #3)
Contents
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
Revision on April 23, 2022 at 19:08:09 by
Anonymous?.
See the history of this page for a list of all contributions to it.