∫ Утверждение Mathlib
verschiebungFun_coeff_succ
Mathlib.RingTheory.WittVector.Verschiebung
URI: https://scilib.ai/kg/mathlib#WittVector.verschiebungFun_coeff_succ
∫ Утверждение Mathlib
Mathlib.RingTheory.WittVector.Verschiebung
URI: https://scilib.ai/kg/mathlib#WittVector.verschiebungFun_coeff_succ