/Category/Monoidal/Instance/DecoratedCospans/

• ../
• Lift.agda
• Products.agda