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

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 27 03:32:45 2025