term𝑹

Mathlib.Geometry.Manifold.Algebra.Monoid

URI: https://scilib.ai/kg/mathlib#LieGroup.term𝑹

← MathLib Explorer

English

Right translations satisfy R_{gh} = R_h ∘ R_g for all g,h ∈ G.

Русский

Правые переноси удовлетворяют R_{gh} = R_h ∘ R_g для всех g,h ∈ G.

LaTeX

$$$R_{gh} = R_h \circ R_g$$$

Lean4

@[inherit_doc smoothRightMul, scoped term_parser 1000]
public meta def «term𝑹» : Lean.ParserDescr✝ :=
  ParserDescr.node✝ `LieGroup.«term𝑹» 1024 (ParserDescr.symbol✝ "𝑹")

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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