#
Homotopy Type Theory
discrete domain > history (Rev #3)

## Definition

A **discrete domain** is a discrete cancellation ring $(A, +, -, 0, \cdot, 1)$ with a term $p: (0 = 1) \to \emptyset$.

## Examples

## See also

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