cmg - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cmg		Structured version Visualization version GIF version

Syntax Definition cmg 18709

Description: Extend class notation with a function mapping a group operation to the multiple/power operation for the magma/group.

**Assertion**
Ref	Expression
cmg	class ._g

See definition df-mulg 18710 for more information.

Colors of variables: wff setvar class