P
Initializing...
A face whose boundary preimage is relatively compact is carried onto a face of the same dimension · Prove2Me