Theorem SmoothBumpFunction.isClosed_image_of_isClosed

Modification history