disjoint_sdiff_right

Mathlib.Order.BooleanAlgebra.Set

URI: https://scilib.ai/kg/mathlib#Set.disjoint_sdiff_right

English

Disjoint s (t \\ s).

Русский

Несовместность множества s и (t \\ s).

LaTeX

$$$ s \\cap (t \\\\setminus s) = \\\\emptyset $$$

Lean4

theorem disjoint_sdiff_right : Disjoint s (t \ s) :=
  disjoint_sdiff_self_right

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

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

Разделы

Аффилиация

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