simple

Mathlib.GroupTheory.Coxeter.Basic

URI: https://scilib.ai/kg/mathlib#CoxeterMatrix.simple

Lean4

/-- The simple reflection of the Coxeter group `M.Group` at the index `i`. -/
def simple (i : B) : M.Group :=
  PresentedGroup.of i

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

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

Разделы

Аффилиация

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