Database
BASIC ALGEBRAIC STRUCTURES
Groups
The opposite group
coppg
Next ⟩
df-oppg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
coppg
Description:
The opposite group operation.
Ref
Expression
Assertion
coppg
class
opp
g