manifold): continuity and smoothness of locally finite products of functions (#7128)

Commit

4 years ago

feat(topology/algebra,geometry/manifold): continuity and smoothness of locally finite products of functions (#7128)

Author

urkud

Parents