Database
BASIC ALGEBRAIC STRUCTURES
Rings
Opposite ring
coppr
Next ⟩
df-oppr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
coppr
Description:
The opposite ring operation.
Ref
Expression
Assertion
coppr
class
opp
r