Metamath Proof Explorer


Syntax definition coppc

Description: The opposite category operation.

Ref Expression
Assertion coppc
class oppCat