Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-16 00:48:04 -0700 (Thu, 16 May 2002)
Revision: 3646
Log message:
Defining groups does not really need equivalence relations, so I changed the group system by replacing equivalence relation with equality. Every occurance was modified and every related rule was reproved.
Besides, separated the power operation for a group from the module Czf_itt_cyclic_subgroup.