P
Initializing...
Sphere coverage suffices: a nonexpansive ball map restricting to a surjection of unit spheres is a linear isometry · Prove2Me