uniform_convergence_topology): use type aliases (#17516)

Commit

3 years ago

chore(topology/uniform_space/uniform_convergence_topology): use type aliases (#17516)

Author

ADedecker

Parents