Homotopy Type Theory divison ring > history (Rev #1)

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

• cancellation ring

• reciprocal ring