rfl

Mathlib.Topology.Inseparable

URI: https://scilib.ai/kg/mathlib#Inseparable.rfl

English

Each point is inseparable from itself: x ~ᵢ x.

Русский

Каждая точка неразделима сама с собой: x ~ᵢ x.

LaTeX

$$$x \\sim_i x$$$

Lean4

theorem rfl : x ~ᵢ x :=
  refl x

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

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

Разделы

Аффилиация

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