σ_symm

Mathlib.Algebra.Homology.ComplexShapeSigns

URI: https://scilib.ai/kg/mathlib#ComplexShape.σ_symm

English

See σ_symm; symmetry of σ under index swap.

Русский

См. σ_symm; симметрия σ при обмене индексов.

LaTeX

$$$\\sigma_{\\text{symm}}(i_1,i_2) = \\sigma_{\\text{symm}}(i_2,i_1).$$$

Lean4

theorem σ_symm (i₁ : I₁) (i₂ : I₂) : σ c₂ c₁ c₁₂ i₂ i₁ = σ c₁ c₂ c₁₂ i₁ i₂ := by
  apply TotalComplexShapeSymmetrySymmetry.σ_symm

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

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

Разделы

Аффилиация

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