Database
BASIC CATEGORY THEORY
Categorical constructions
Product of categories
c2ndf
Next ⟩
cprf
Metamath Proof Explorer
Ascii
Structured
Syntax definition
c2ndf
Description:
Extend class notation with the second projection functor.
Ref
Expression
Assertion
c2ndf
class
2
nd
F