Commit 2022-01-12 07:30 deac58aa

feat(topology/uniform_space/compact_convergence): when the domain is locally compact, compact convergence is just locally uniform convergence (#11292) Also, locally uniform convergence is just uniform convergence when the domain is compact.