psum_isSymmetric

Mathlib.RingTheory.MvPolynomial.Symmetric.Defs

URI: https://scilib.ai/kg/mathlib#MvPolynomial.psum_isSymmetric

English

The power sum psum(σ,R,n) is symmetric under any permutation of the variables.

Русский

Сумма степеней psum(σ,R,n) симметрична по отношению к перестановкам переменных.

LaTeX

$$IsSymmetric(psum_{\\sigma,R}(n))$$

Lean4

theorem psum_isSymmetric (n : ℕ) : IsSymmetric (psum σ R n) :=
  rename_psum _ _ n

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru