vonMangoldt_apply_one

Mathlib.NumberTheory.VonMangoldt

URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.vonMangoldt_apply_one

English

If p is a prime, Λ(p) = log p.

Русский

Если p простое, то Λ(p) = log p.

LaTeX

$$$$\Lambda(p) = \log p \quad (p \text{ prime}).$$$$

Lean4

@[simp]
theorem vonMangoldt_apply_one : Λ 1 = 0 := by simp [vonMangoldt_apply]

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

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

Разделы

Аффилиация

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