instFinite

Mathlib.Data.Finite.Defs

URI: https://scilib.ai/kg/mathlib#Bool.instFinite

English

The type Bool is finite.

Русский

Тип Bool является конечным.

LaTeX

$$$\\operatorname{Finite}(\\text{Bool}).$$$

Lean4

instance instFinite : Finite Bool :=
  .intro finTwoEquiv.symm

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

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

Разделы

Аффилиация

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