#
Homotopy Type Theory
Heyting skewfield > history (Rev #1)

## Definition

A **Heyting skewfield** is a Heyting reciprocal ring $(A, +, -, 0, \cdot, 1, #)$ with a term $p: 0 # 1$.

## Examples

## See also

Revision on February 28, 2022 at 20:58:35 by
Anonymous?.
See the history of this page for a list of all contributions to it.