Database
BASIC ALGEBRAIC STRUCTURES
Groups
Abelian groups
Cyclic groups
ccyg

Next ⟩ df-cyg

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ccyg

Description: Cyclic group.

		Ref	Expression
	Assertion	ccyg	$class CycGrp$