Homotopy Type Theory cancellation ring > history (Rev #2)

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

• Heyting cancellation ring

• discrete cancellation ring

• residue cancellation ring?

et cetera.

See also

• ring

• division ring

• reciprocal ring

• domain