Database
BASIC ALGEBRAIC STRUCTURES
Groups
Isomorphisms of groups
cgim

Next ⟩ cgic

Metamath Proof Explorer

Ascii
Structured

Syntax definition cgim

Description: The class of group isomorphism sets.

		Ref	Expression
	Assertion	cgim	class GrpIso