∫ Утверждение Mathlib
dvd_iff_map_cast_dvd_map_cast
Mathlib.RingTheory.Polynomial.GaussLemma
URI: https://scilib.ai/kg/mathlib#Polynomial.IsPrimitive.Int.dvd_iff_map_cast_dvd_map_cast
∫ Утверждение Mathlib
Mathlib.RingTheory.Polynomial.GaussLemma
URI: https://scilib.ai/kg/mathlib#Polynomial.IsPrimitive.Int.dvd_iff_map_cast_dvd_map_cast