Changes by: Xin Yu (xiny at cs.caltech.edu) Date: 2003-05-09 04:44:01 -0700 (Fri, 09 May 2003) Revision: 4577 Log message:
- Added extentional group equality. - Proved some (somewhat) complicated theorems about quotient groups.