Metamath Proof Explorer


Syntax definition chom

Description: Extend class notation with the hom-set structure.

Ref Expression
Assertion chom
class Hom