Library CT.Algebra

Require Export CT.Algebra.AbelianGroup.
Require Export CT.Algebra.BooleanAlgebra.
Require Export CT.Algebra.Group.
Require Export CT.Algebra.Lattice.
Require Export CT.Algebra.Magma.
Require Export CT.Algebra.Monoid.
Require Export CT.Algebra.PointedSet.
Require Export CT.Algebra.Ring.
Require Export CT.Algebra.Rng.
Require Export CT.Algebra.Semigroup.