Database
BASIC ALGEBRAIC STRUCTURES
Groups
Abelian groups
Cyclic groups
ccyg
Next ⟩
df-cyg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccyg
Description:
Cyclic group.
Ref
Expression
Assertion
ccyg
class CycGrp