Syntax definition crgr

Description: Extend class notation to include the class of all regular graphs.

	Ref	Expression
Assertion	crgr	$$class\mathrm{RegGraph}$$