In Algebra.Morphism.Structures
it is written in many places in comments expressions like
"-- unary operation & 1 element "
"-- ... & 2 elements"
Probably the author meant "1 constant", "2 constants" ...
Because the above structures may have many elements built over the specified constants.
In Algebra.Morphism.Structures
it is written in many places in comments expressions like
"-- unary operation & 1 element "
"-- ... & 2 elements"
Probably the author meant "1 constant", "2 constants" ...
Because the above structures may have many elements built over the specified constants.