chore(algebra/continuous_functions): `coninuous` -> `continuous` (#4508)
chore(algebra/continuous_functions): `coninuous` -> `continuous` (#4508)





leanprover-community/mathlib,leanprover-community/mathlib