Database
BASIC ALGEBRAIC STRUCTURES
Monoids
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