right_mem_Ioo

Mathlib.Order.Interval.Set.Basic

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

English

An element b belongs to Ioo(a,b) is false.

Русский

Элемент b не принадлежит Ioo(a,b).

LaTeX

$$$ b \in Ioo(a,b) \iff False $$$

Lean4

theorem right_mem_Ioo : b ∈ Ioo a b ↔ False := by simp

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

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

Разделы

Аффилиация

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