symmetric_codisjoint

Mathlib.Order.Disjoint

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

English

Symmetric (Codisjoint) holds: Codisjoint is a symmetric relation.

Русский

Симметрична кодиссоединённость — кодиссоединение – симметрично.

LaTeX

$$$\text{Symmetric}(\operatorname{Codisjoint})$$$

Lean4

theorem symmetric_codisjoint : Symmetric (Codisjoint : α → α → Prop) :=
  Codisjoint.symm

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

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

Разделы

Аффилиация

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