P

Initializing...

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