[−][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 |