Database
BASIC ALGEBRAIC STRUCTURES
Groups
Direct products
clsm
Next ⟩
cpj1
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clsm
Description:
Extend class notation with subgroup sum.
Ref
Expression
Assertion
clsm
class LSSum