transitive_manyOneReducible

Mathlib.Computability.Reduce

URI: https://scilib.ai/kg/mathlib#transitive_manyOneReducible

English

Transitivity of the model of reducibility, same as earlier.

Русский

Транзитивность редукций, повторяется.

LaTeX

$$$\mathrm{transitive\_manyOneReducible} :\ Transitive\ ManyOneReducible$$$

Lean4

theorem transitive_manyOneReducible {α} [Primcodable α] : Transitive (@ManyOneReducible α α _ _) := fun _ _ _ =>
  ManyOneReducible.trans

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

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

Разделы

Аффилиация

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