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

• Parent Directory
• AbelianGroup.agda
• BooleanAlgebra.agda
• BooleanAlgebra/
• CancellativeCommutativeSemiring.agda
• CommutativeMagma/
• CommutativeMonoid.agda
• CommutativeMonoid/
• CommutativeSemigroup.agda
• CommutativeSemigroup/
• CommutativeSemiring/
• DistributiveLattice.agda
• Group.agda
• KleeneAlgebra.agda
• Lattice.agda
• Loop.agda
• Magma/
• MiddleBolLoop.agda
• Monoid/
• MoufangLoop.agda
• Quasigroup.agda
• Ring.agda
• RingWithoutOne.agda
• Semigroup.agda
• Semigroup/
• Semilattice.agda
• Semiring/