Syntax definition cgic

Description: The class of the group isomorphism relation.

	Ref	Expression
Assertion	cgic	class ≃𝑔