/Category/Instance/Setoids/

• ../
• SymmetricMonoidal.agda