Mathlib v3 is deprecated. Go to Mathlib v4

Theorem smooth_bump_function.update_r_R

Modification history