continuous_functions): making names consistent with the smooth library (#7844)

Commit

4 years ago

chore(topology/algebra/continuous_functions): making names consistent with the smooth library (#7844)

Author

Nicknamen

Parents