Theorem SmoothBumpFunction.smooth_smul

Modification history