incompRel_swap

Mathlib.Order.Comparable

URI: https://scilib.ai/kg/mathlib#incompRel_swap

English

The incomparability relation is invariant under swapping the arguments: IncompRel (swap r) = IncompRel r.

Русский

Несопоставимость относительно перестановки аргументов сохраняется: IncompRel (swap r) = IncompRel r.

LaTeX

$$$IncompRel(\mathrm{swap}(r)) = IncompRel(r)$$$

Lean4

theorem incompRel_swap : IncompRel (swap r) = IncompRel r :=
  antisymmRel_swap rᶜ

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

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

Разделы

Аффилиация

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