[−][src]Module l_group_formulas::l_group_term
The module containing everything about l_group_formulas
(but not their cnfs), in particular the struct LGroupTerm.
Enums
| LGroupTerm | An element the term algebra of l-groups. |
Constants
| IDENTITY |