chore: Namespace UniformSpace.ball API (#16113) All these lemmas have pretty generic names
UniformSpace.ball