∫ Утверждение Mathlib
one_mem_properDivisors_iff_one_lt
Mathlib.NumberTheory.Divisors
URI: https://scilib.ai/kg/mathlib#Nat.one_mem_properDivisors_iff_one_lt
∫ Утверждение Mathlib
Mathlib.NumberTheory.Divisors
URI: https://scilib.ai/kg/mathlib#Nat.one_mem_properDivisors_iff_one_lt