term𝒮ℒ

Mathlib.NumberTheory.ModularForms.ArithmeticSubgroups

URI: https://scilib.ai/kg/mathlib#MatrixGroups.term𝒮ℒ

← MathLib Explorer

English

For Γ ⊆ SL(2,ℤ), IsArithmetic Γ ↔ FiniteIndex Γ.

Русский

Для Γ ⊆ SL(2,ℤ), IsArithmetic Γ ⇔ FiniteIndex Γ.

LaTeX

$$$IsArithmetic(Γ) \Leftrightarrow Γ.FiniteIndex$$$

Lean4

/-- The image of the modular group `SL(2, ℤ)`, as a subgroup of `GL(2, ℝ)`. -/
@[scoped term_parser 1000]
public meta def term𝒮ℒ : Lean.ParserDescr✝ :=
  ParserDescr.node✝ `MatrixGroups.term𝒮ℒ 1024 (ParserDescr.symbol✝ "𝒮ℒ")

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

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

Разделы

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

Аффилиация

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