/src/CatTheory/Category/Instance/

• ../
• Of
• Preorders.agda
• Properties