[Merged by Bors] - feat(UniformConvergenceTopology): add UniformOnFun.uniformity_eq
etc
#50983
Loading
UniformOnFun.uniformity_eq
etc
#50983