Homotopy Type Theory domain (ring theory) > history (Rev #1, changes)

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

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

• Heyting domain

• discrete domain

• residue domain?

et cetera.

See also

• ring

• skewfield