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

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

There are many different types of skewfields. Some of these include

• Heyting skewfield

• discrete skewfield

• residue skewfield?

et cetera.

See also

• ring

• domain

• field