Theorem SmoothBumpFunction.one_of_dist_le

Modification history