mathlib
4635aee7 - chore(algebra/continuous_functions): `coninuous` -> `continuous` (#4508)
Commit
5 years ago