Syntax definition coppg

Description: The opposite group operation.

	Ref	Expression
Assertion	coppg	class oppG