compact_convergence): when the domain is compact, compact convergence is just uniform convergence (#11262)

Commit

4 years ago

feat(topology/uniform_space/compact_convergence): when the domain is compact, compact convergence is just uniform convergence (#11262)

Author

ocfnash

Parents