# Homotopy Type Theory Heyting domain > history (changes)

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

## Definition

A

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

## See also

Last revised on June 13, 2022 at 01:04:19. See the history of this page for a list of all contributions to it.