inhabited — Mathlib

English

There is a natural Lie algebra homomorphism from L to the endomorphisms of N that preserves N, capturing the action of L on N by restricting the action on M.

Русский

Существует естественный гомоморфизм Ли-алгебры $L$ в концевые отображения подмодуля $N$, сохраняющий $N$, отражающий ограничение действия Ли на $M$ к $N$.

LaTeX

$$$L \\to_{\\text{Lie}} \\mathrm{End}_R(N)$, preserving $N$.$$

Lean4

instance inhabited : Inhabited (M ⧸ N) :=
  ⟨0⟩

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