Syntax definition cgrlic

Description: The class of the graph local isomorphism relation.

	Ref	Expression
Assertion	cgrlic	class ≃𝑙𝑔𝑟