Database
BASIC ALGEBRAIC STRUCTURES
Groups
Definition and basic properties
csg
Next ⟩
df-grp
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
csg
Description:
Extend class notation with group subtraction (or division) operation.
Ref
Expression
Assertion
csg
class
-
𝑔