Syntax definition cisomgr

Description: Extend class notation to include the isomorphy relation for graphs.

	Ref	Expression
Assertion	cisomgr	$$class\mathrm{IsomGr}$$