deficient_three

Mathlib.NumberTheory.FactorisationProperties

URI: https://scilib.ai/kg/mathlib#Nat.deficient_three

English

Deficient 3 holds; 3 is deficient.

Русский

Deficient 3 выполняется; 3 дефектно.

LaTeX

$$Deficient(3)$$

Lean4

theorem deficient_three : Deficient 3 := by norm_num [Deficient]

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

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

Разделы

Аффилиация

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