Database
BASIC ALGEBRAIC STRUCTURES
Groups
p-Groups and Sylow groups; Sylow's theorems
cslw
Next ⟩
df-od
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cslw
Description:
Extend class notation to include the class of all Sylow p-subgroups of a group.
Ref
Expression
Assertion
cslw
class
pSyl