[−][src]Module l_group_formulas::free_group_term
The module containing everything about free group terms,
in particular the struct FreeGroupTerm.
Structs
| FreeGroupTerm | An element of the group algebra. |
Constants
| FREE_GROUP_IDENTITY |
The module containing everything about free group terms,
in particular the struct FreeGroupTerm.
| FreeGroupTerm | An element of the group algebra. |
| FREE_GROUP_IDENTITY |