[−][src]Module l_group_formulas::short_free_group_term
The module containing everything about 'short' (shorter than three)
free group terms, in particular the struct ShortFreeGroupTerm.
Structs
| LongFreeGroupTermError | |
| ShortFreeGroupTerm | Short means length at most three |
Traits
| Len |