# Commit 2022-11-21 11:25 18b61ef3

View on Github →feat(topology/uniform_space/uniform_convergence): more locally uniform limit API (#17092)
Add more API around `tendsto_locally_uniformly_on`

, needed for #17074.

feat(topology/uniform_space/uniform_convergence): more locally uniform limit API (#17092)
Add more API around `tendsto_locally_uniformly_on`

, needed for #17074.