Homotopy Type Theory division Z-algebra > history (Rev #2, changes)

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

There are many different types of division Z-algebra. Some of these include

• Heyting division Z-algebra

• discrete division Z-algebra

• residue division Z-algebra?

et cetera.

See also

• Z-algebra

• division divison ring