Database
BASIC ALGEBRAIC STRUCTURES
Groups
Isomorphisms of groups
cgic
Next ⟩
df-gim
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cgic
Description:
The class of the group isomorphism relation.
Ref
Expression
Assertion
cgic
class
≃
𝑔