Fedora Rawhide for ppc64le : / 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
• Lattice.agda
• Magma
• Monoid
• Ring.agda
• Semigroup
• Semigroup.agda
• Semilattice.agda
• Semiring

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 08:02:51 2025