Metamath Proof Explorer


Syntax definition cgic

Description: The class of the group isomorphism relation.

Ref Expression
Assertion cgic
class ~=g