∫ Утверждение Mathlib
mem_support_iff_mem_support_of_mem_cycleFactorsFinset
Mathlib.GroupTheory.Perm.Cycle.Factors
URI: https://scilib.ai/kg/mathlib#Equiv.Perm.mem_support_iff_mem_support_of_mem_cycleFactorsFinset
∫ Утверждение Mathlib
Mathlib.GroupTheory.Perm.Cycle.Factors
URI: https://scilib.ai/kg/mathlib#Equiv.Perm.mem_support_iff_mem_support_of_mem_cycleFactorsFinset