mlieBracket_swap

Mathlib.Geometry.Manifold.VectorField.LieBracket

URI: https://scilib.ai/kg/mathlib#VectorField.mlieBracket_swap

English

Again, the universal equivalence mlieBracketWithin_univ holds.

Русский

Повторно установим эквивалентность внутри пространства: mlieBracketWithin_univ.

LaTeX

$$mlieBracketWithin_univ_again : mlieBracketWithin I V W univ = mlieBracket I V W$$

Lean4

theorem mlieBracket_swap : mlieBracket I V W = -mlieBracket I W V :=
  mlieBracketWithin_swap

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

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

Разделы

Аффилиация

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