Database
BASIC ALGEBRAIC STRUCTURES
Groups
Subgroups and Quotient groups
cnsg
Next ⟩
cqg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnsg
Description:
Extend class notation with all normal subgroups of a group.
Ref
Expression
Assertion
cnsg
$${class}\mathrm{NrmSGrp}$$