instIsEmpty

Mathlib.Logic.IsEmpty

URI: https://scilib.ai/kg/mathlib#Empty.instIsEmpty

English

The empty type has no elements; it is empty.

Русский

Пустой тип не имеет элементов; он пуст.

LaTeX

$$$ \mathrm{IsEmpty}(\mathrm{Empty}) $$$

Lean4

instance instIsEmpty : IsEmpty Empty :=
  ⟨Empty.elim⟩

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

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

Разделы

Аффилиация

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