Fedora 43 for ppc64le : / usr /share /Agda-stdlib /src /Algebra

• Apartness
• Apartness.agda
• Bundles
• Bundles.agda
• Consequences
• Construct
• Core.agda
• Definitions
• Definitions.agda
• FunctionProperties
• Lattice
• Lattice.agda
• Module
• Module.agda
• Morphism
• Morphism.agda
• Operations
• Properties
• Solver
• Structures
• Structures.agda

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 27 02:54:23 2025