the inverse of an associative multiplication is a coassociative comultiplication

Last updated Oct 7, 2024

• monoid