Theorem SmoothBumpFunction.exists_r_pos_lt_subset_ball

Modification history