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