Syntax definition coppr

Description: The opposite ring operation.

	Ref	Expression
Assertion	coppr	class oppR