Syntax definition cpgp

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

	Ref	Expression
Assertion	cpgp	class pGrp