mathlib

3642cbed - refactor(analysis/complex): use Liouville to prove algebraic closedness (#17343)

refactor(analysis/complex): use Liouville to prove algebraic closedness (#17343) To avoid cyclic import, one proof in *analysis/special_functions/trigonometric/complex* is changed. Inspired by #17329.