Commit 2020-12-06 11:43 c88e8f35

refactor(*): drop topology/instances/complex (#5208)

• drop topology/instances/complex, deduce topology from normed_space instead;
• generalize continuity of polynomial.eval to any topological_ring; add versions for eval₂ and aeval;
• replace polynomial.tendsto_infinity with tendsto_abv_at_top, add versions for eval₂, aeval, as well as norm instead of abv.
• generalize complex.exists_forall_abs_polynomial_eval_le to any [normed_ring R] [proper_space R] such that norm is multiplicative, rename to polynomial.exists_forall_norm_le.