Homotopy Type Theory GCD domain > history (Rev #1)

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

• Heyting GCD domain

• discrete GCD domain

• residue GCD domain?

et cetera.

See also

• integral domain

• commutative ring

• field