Theorem SmoothBumpFunction.isClosed_symm_image_closedBall

Modification history