Metamath Proof Explorer


Syntax definition coppg

Description: The opposite group operation.

Ref Expression
Assertion coppg class oppg