/Category/Monoidal/

• ../
• Coherence.agda