twee-0.1: tests/groupoid.p

% Entropic groupoid, taken from unfailing completion paper
cnf(a, axiom, '*'('*'(X,Y),'*'(Z,W)) = '*'('*'(X,Z),'*'(Y,W))).
cnf(a, axiom, '*'('*'(X,Y),X) = X).