Metamath Proof Explorer


Syntax definition csethom

Description: Syntax for the set of set morphisms.

Ref Expression
Assertion csethom class Set