Homotopy Type Theory Heyting skewfield > history (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

A

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

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.