∫ Утверждение Mathlib
isCyclic_multiplicative_iff
Mathlib.GroupTheory.SpecificGroups.Cyclic
URI: https://scilib.ai/kg/mathlib#isCyclic_multiplicative_iff
∫ Утверждение Mathlib
Mathlib.GroupTheory.SpecificGroups.Cyclic
URI: https://scilib.ai/kg/mathlib#isCyclic_multiplicative_iff