Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Monoid homomorphisms and submonoids
cmhm

Next ⟩ csubmnd

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmhm

Description: Hom-set generator class for monoids.

		Ref	Expression
	Assertion	cmhm	$class MndHom$