cmagmahom - Mathbox for BJ

	Mathbox for BJ		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cmagmahom		Structured version Visualization version Unicode version

Syntax Definition cmagmahom 33077

Description: Notation for the set of magma morphisms.

**Assertion**
Ref	Expression
cmagmahom	-Magma->

See definition df-bj-magmahom 33080 for more information.

Colors of variables: wff setvar class