Theorem SmoothBumpFunction.le_one

Modification history