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

• Parent Directory
• AbelianGroup.agda
• BooleanAlgebra.agda
• BooleanAlgebra/
• CommutativeMonoid.agda
• DistributiveLattice.agda
• Group.agda
• Lattice.agda
• Ring.agda