P
Initializing...
Preimages of unit vectors under a nonexpansive surjection of unit balls are unit vectors · Prove2Me