ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F5015 on R893: Cyclic group is Abelian

F5015

Formulation 0

Let $G$ be a D1303: Cyclic group.

Then $G$ is an D23: Abelian group.