☰
concatMonoid
🌌Sequences.concatMonoid
monoid of Sequences with infix concatentation operation.
identity element
redefines Monoid.e:
identity element
equality
redefines Monoid.infix ==:
equality operation
associative operation
redefines Monoid.infix ∙:
associative operation