Metamath Proof Explorer


Syntax definition cmgmhm

Description: Hom-set generator class for magmas.

Ref Expression
Assertion cmgmhm class MgmHom