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