Homotopy Type Theory division ring > history (Rev #3, changes)

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

• Heyting division ring

• discrete division ring

• residue division ring?

et cetera.

See also

• ring

• commutative division ring

• cancellation ring

• reciprocal ring

• skewfield