Homotopy Type Theory commutative division ring > history (Rev #1)

There are many different types of commutative division rings. Some of these include

• commutative Heyting division ring

• commutative discrete division ring

• commutative residue division ring?

et cetera.

See also

• commutative ring

• division ring

• commutative cancellation ring

• commutative reciprocal ring

• field (ring theory)