Database
BASIC STRUCTURES
Extensible structures
Slot definitions
cplusg
Next ⟩
cmulr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cplusg
Description:
Extend class notation with group (addition) operation.
Ref
Expression
Assertion
cplusg
class
+
g