right_mem_Ico

Mathlib.Order.Interval.Set.Basic

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

English

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

Русский

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

LaTeX

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

Lean4

theorem right_mem_Ico : b ∈ Ico a b ↔ False := by simp

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

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

Разделы

Аффилиация

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