semigroup.clif revision 38eb8e414b6c73efa6bcf81760625385094b757b
(cl-text http://colore.oor.net/magma/semigroup.clif
(forall (x y z)
(= (op x (op y z)) (op (op x y) z)))
)