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

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

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

• Heyting field

• discrete field

• residue field?

et cetera.

See also

• commutative ring

• integral domain

• skewfield