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