∫ Утверждение Mathlib
finRotate_apply_zero
Mathlib.Logic.Equiv.Fin.Rotate
URI: https://scilib.ai/kg/mathlib#finRotate_apply_zero
∫ Утверждение Mathlib
Mathlib.Logic.Equiv.Fin.Rotate
URI: https://scilib.ai/kg/mathlib#finRotate_apply_zero