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

equivalence

Mathlib.GroupTheory.Perm.Cycle.Basic

URI: https://scilib.ai/kg/mathlib#Equiv.Perm.SameCycle.equivalence

← MathLib Explorer