ThmDex – An index of mathematical definitions, results, and conjectures.
Result R627 on D1303: Cyclic group
Explicit expression for elements of cyclic group