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

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

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