Database
BASIC ALGEBRAIC STRUCTURES
Groups
Symmetric groups
Definition and basic properties
csymg
Next ⟩
df-symg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csymg
Description:
Extend class notation to include the class of symmetric groups.
Ref
Expression
Assertion
csymg
class SymGrp