Theorem SmoothBumpFunction.isCompact_symm_image_closedBall

Modification history