Gamma_zero_bot

Mathlib.NumberTheory.ModularForms.CongruenceSubgroups

URI: https://scilib.ai/kg/mathlib#CongruenceSubgroup.Gamma_zero_bot

English

Gamma0(N) is the bottom subgroup when N = 0.

Русский

Gamma0(N) становится нулевой подгруппой, когда N = 0.

LaTeX

$$Gamma0(0) = ⊥$$

Lean4

theorem Gamma_zero_bot : Gamma 0 = ⊥ :=
  rfl

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

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

Разделы

Аффилиация

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