Definition:Group Type

From ProofWiki
Jump to navigation Jump to search

Definition

An equivalence class under group isomorphism is a (group) type.


Sources