/Category/Construction/

• ../
• CMonoids.agda
• CMonoids
• Monoids