transcendental_def

Mathlib.RingTheory.Algebraic.Defs

URI: https://scilib.ai/kg/mathlib#Algebra.transcendental_def

English

The infinite property passes along to A when an element is transcendental over R.

Русский

Свойство бесконечности передается на A, если найден элемент трансцендентен над R.

LaTeX

$$$\\text{Infinite}(A)$$$

Lean4

theorem transcendental_def : Algebra.Transcendental R A ↔ ∃ x : A, Transcendental R x :=
  ⟨fun ⟨h⟩ ↦ h, fun h ↦ ⟨h⟩⟩

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

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

Разделы

Аффилиация

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