PabloS opened this issue on Oct 09, 2002 ยท 7 posts
PabloS posted Wed, 09 October 2002 at 10:29 PM
Thanks PhilC! Now what's a "rigid decorated group"? :-)