coppg - Metamath Proof Explorer

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

Syntax Definition coppg 18864

Description: The opposite group operation.

**Assertion**
Ref	Expression
coppg	class opp_g

See definition df-oppg 18865 for more information.

Colors of variables: wff setvar class