isUnit_leadingCoeff_of_dvd — Mathlib · SciLib

∫ Утверждение Mathlib

isUnit_leadingCoeff_of_dvd

Mathlib.Algebra.Polynomial.Roots

URI: https://scilib.ai/kg/mathlib#Polynomial.Monic.isUnit_leadingCoeff_of_dvd

← MathLib Explorer