OpenMath CD Group: algstr1

Version: 2
Basic Algebraic Structures This is the first version of the CC CD group. O.Caprotti 1999-20-08
relation0
semigroup
setoid
indnat