Metamath Proof Explorer


Syntax definition ccyg

Description: Cyclic group.

Ref Expression
Assertion ccyg class CycGrp