mathlib

4328cc3c - feat(topology/continuous_function): abstract statement of Weierstrass approximation (#7303)

feat(topology/continuous_function): abstract statement of Weierstrass approximation (#7303) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>