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.
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.