Syntax definition crusgr

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

	Ref	Expression
Assertion	crusgr	$$class\mathrm{RegUSGraph}$$