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