Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Monoid homomorphisms and submonoids
cmhm

Next ⟩ csubmnd

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmhm

Description: Hom-set generator class for monoids.

		Ref	Expression
	Assertion	cmhm	class MndHom