Description: The quotient of a polynomial F by a monic monomial of same degree G converges to the highest coefficient of F . (Contributed by Thierry Arnoux, 18-Sep-2018)
Ref | Expression | ||
---|---|---|---|
Hypotheses | signsply0.d | |
|
signsply0.c | |
||
signsply0.b | |
||
signsplypnf.g | |
||
Assertion | signsplypnf | |