The outward push-off of the boundary of an embedded disk misses the radial cone over the disk

Initializing...

The outward push-off of the boundary of an embedded disk misses the radial cone over the disk · Prove2Me