zigzag_symmetric

Mathlib.CategoryTheory.IsConnected

URI: https://scilib.ai/kg/mathlib#CategoryTheory.zigzag_symmetric

English

Zigzag is symmetric: if Zigzag j1 j2, then Zigzag j2 j1.

Русский

Zigzag симметричен: если Zigzag j1 j2, то Zigzag j2 j1.

LaTeX

$$$\forall j_1 j_2,\ Zigzag(j_1,j_2) \Rightarrow Zigzag(j_2,j_1)$$$

Lean4

theorem zigzag_symmetric : Symmetric (@Zigzag J _) :=
  Relation.ReflTransGen.symmetric zag_symmetric

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

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

Разделы

Аффилиация

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