Metamath Proof Explorer

Syntax definition csethom

Description: Syntax for the set of set morphisms.

Ref Expression
Assertion csethom 
class -Set->