Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Monoids (extension)
Magma homomorphisms and submagmas
cmgmhm

Next ⟩ csubmgm

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmgmhm

Description: Hom-set generator class for magmas.

		Ref	Expression
	Assertion	cmgmhm	class MgmHom