the inverse of an associative multiplication is a coassociative comultiplication

Last updated Apr 23, 2024

• monoid