exponent_eq_zero_of_infinite — Mathlib · SciLib

∫ Утверждение Mathlib

exponent_eq_zero_of_infinite

Mathlib.GroupTheory.SpecificGroups.Cyclic

URI: https://scilib.ai/kg/mathlib#IsCyclic.exponent_eq_zero_of_infinite

← MathLib Explorer