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.

Estimated changes