/src/Relation/Unary/

• ../
• Closure
• Indexed.agda
• PredicateTransformer.agda
• Properties.agda