esymm_isSymmetric

Mathlib.RingTheory.MvPolynomial.Symmetric.Defs

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

English

Esymm is symmetric under renaming: IsSymmetric (esymm σ R n).

Русский

Esymm симметричен по отношению к переименованию: IsSymmetric (esymm σ R n).

LaTeX

$$$ IsSymmetric(\\text{esymm}(\\sigma,R,n)). $$$

Lean4

theorem esymm_isSymmetric (n : ℕ) : IsSymmetric (esymm σ R n) :=
  by
  intro
  rw [rename_esymm]

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

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

Разделы

Аффилиация

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