Theorem SmoothBumpFunction.nonneg

Modification history