Index of /data/main/a/agda-stdlib/0.17-1/src/Algebra

• Parent Directory
• FunctionProperties.agda
• FunctionProperties/
• Morphism.agda
• Operations/
• Properties/
• Solver/
• Structures.agda