Skip to content

feat: Polynomial.map f strictly decreases the degree if f p.leadingCoeff = 0 #47171

feat: Polynomial.map f strictly decreases the degree if f p.leadingCoeff = 0

feat: Polynomial.map f strictly decreases the degree if f p.leadingCoeff = 0 #47171