∫ Утверждение Mathlib
genLTOne_mem
Mathlib.Algebra.Order.Group.Cyclic
URI: https://scilib.ai/kg/mathlib#LinearOrderedCommGroup.Subgroup.genLTOne_mem
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Group.Cyclic
URI: https://scilib.ai/kg/mathlib#LinearOrderedCommGroup.Subgroup.genLTOne_mem