Homotopy Type Theory integral domain > history (Rev #4, changes)

There are many different types of integral domains. Some of these include

• Heyting integral domain

• discrete integral domain

• residue integral domain?

et cetera.

See also

• GCD domain

• Euclidean domain?

• commutative ring

• domain

• field