Syntax definition cgic

Description: The class of the group isomorphism relation.

	Ref	Expression
Assertion	cgic	$$class{\simeq }_{𝑔}$$