Database
BASIC ALGEBRAIC STRUCTURES
Groups
Definition and basic properties
cminusg
Next ⟩
csg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cminusg
Description:
Extend class notation with inverse of group element.
Ref
Expression
Assertion
cminusg
class
inv
g