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