Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Magmas
cplusf
Next ⟩
cmgm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cplusf
Description:
Extend class notation with group addition as a function.
Ref
Expression
Assertion
cplusf
class +f