Database
BASIC CATEGORY THEORY
Categories
Opposite category
coppc
Next ⟩
df-oppc
Metamath Proof Explorer
Ascii
Structured
Syntax definition
coppc
Description:
The opposite category operation.
Ref
Expression
Assertion
coppc
class
oppCat