cslw - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cslw		Structured version Visualization version GIF version

Syntax Definition cslw 19621

Description: Extend class notation to include the class of all Sylow p-subgroups of a group.

**Assertion**
Ref	Expression
cslw	class pSyl

See definition df-slw 19625 for more information.

Colors of variables: wff setvar class