Database
BASIC ALGEBRAIC STRUCTURES
Groups
Isomorphisms of groups
cgim

Next ⟩ cgic

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cgim

Description: The class of group isomorphism sets.

		Ref	Expression
	Assertion	cgim	$class GrpIso$