/src/CatTheory/Category/Instance/Of/

• ../
• Preorder.agda
• Properties