/src/Relation/Unary/Closure/

• ../
• Base.agda
• Preorder.agda
• StrictPartialOrder.agda