instInhabitedLinearRecurrence — Mathlib

English

The root system is invariant under Cartan-preserving automorphisms of the Lie algebra that preserve the triangularization with respect to H.

Русский

Корневая система инвариантна относительно автоморфизмов Ли, сохраняющих подстановку по H и треугольность представления.

LaTeX

$$Invariance of rootSystem under Cartan-preserving automorphisms$$

Lean4

instance (R : Type*) [CommSemiring R] : Inhabited (LinearRecurrence R) :=
  ⟨⟨0, default⟩⟩

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