∫ Утверждение Mathlib
eq_zero_of_squarefree_of_dvd_eq_zero
Mathlib.NumberTheory.ArithmeticFunction
URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.IsMultiplicative.eq_zero_of_squarefree_of_dvd_eq_zero
∫ Утверждение Mathlib
Mathlib.NumberTheory.ArithmeticFunction
URI: https://scilib.ai/kg/mathlib#ArithmeticFunction.IsMultiplicative.eq_zero_of_squarefree_of_dvd_eq_zero