Syntax definition coppc

Description: The opposite category operation.

	Ref	Expression
Assertion	coppc	$$class\mathrm{oppCat}$$