Homotopy Type Theory
difference quotient > history (Rev #1)
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
See also
Revision on April 16, 2022 at 07:33:55 by
Anonymous?.
See the history of this page for a list of all contributions to it.