Index of /data/main/a/agda-stdlib/2.1-4/src/Function/Properties

• Parent Directory
• Bijection.agda
• Equivalence.agda
• Injection.agda
• Inverse.agda
• Inverse/
• RightInverse.agda
• Surjection.agda