Theorem polynomial.eval_div_tendsto_at_top_of_degree_gt

feat(special_functions/polynomials): Generalize some polynomial asymptotics to iff statements. (#7545)

feat(analysis): prove that a polynomial function is equivalent to its leading term along at_top, and consequences (#5354) …