Theorem SmoothBumpFunction.mem_Icc

Modification history