Syntax definition csubg

Description: Extend class notation with all subgroups of a group.

	Ref	Expression
Assertion	csubg	$$class\mathrm{SubGrp}$$