Even

Mathlib.NumberTheory.DirichletCharacter.Basic

URI: https://scilib.ai/kg/mathlib#DirichletCharacter.Even

English

A Dirichlet character is even if its value at -1 is 1.

Русский

Символ Дирихле является четным, если его значение в -1 равно 1.

LaTeX

$$$\\text{Even} \\;\\psi := \\psi(-1) = 1.$$$

Lean4

/-- A Dirichlet character is even if its value at -1 is 1. -/
def Even : Prop :=
  ψ (-1) = 1

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

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

Разделы

Аффилиация

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