Homotopy Type Theory
Z-algebra > history (Rev #3, changes)
Showing changes from revision #2 to #3:
Added | Removed | Changed
Definition
A -algebra is an abelian group with
- a binary operation
- a left distributive identity
- a right distributive identity
Examples
See also
Revision on February 28, 2022 at 21:10:31 by
Anonymous?.
See the history of this page for a list of all contributions to it.