mathlib3

6115ef56 - monoids in monoidal categories