#
Homotopy Type Theory
Heyting skewfield > history (changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

## Definition

< skewfield

~~A ~~

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

~~
~~~~
~~## See also

~~
~~
Last revised on June 12, 2022 at 20:47:37.
See the history of this page for a list of all contributions to it.