Syntax definition cpgp

Description: Extend class notation to include the class of all p-groups.

	Ref	Expression
Assertion	cpgp	$$class\mathrm{pGrp}$$