Every finite-dimensional face of the target ball is carried onto a face of the same dimension

Initializing...

Every finite-dimensional face of the target ball is carried onto a face of the same dimension · Prove2Me