instIsEmpty

Mathlib.Logic.IsEmpty

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

English

The type PEmpty is empty; it has no elements.

Русский

Тип PEmpty пуст; у него нет элементов.

LaTeX

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

Lean4

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

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

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

Разделы

Аффилиация

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