/SplitIdempotents/

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