# Commit 2021-06-29 17:54 bdf2d81e

View on Github →feat(topology/continuous_function/stone_weierstrass): complex Stone-Weierstrass (#8012)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/continuous_function/stone_weierstrass): complex Stone-Weierstrass (#8012)