P
Initializing...
No $C^1$ retraction of the closed unit ball onto its boundary sphere · Prove2Me