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