Theorem exists_msmooth_support_eq_eq_one_iff

chore: deprecate `smooth` variants of `contMDiff` results (#31326)

feat: construct a smooth function on a manifold equal to one on a given closed set and with given support (#6067)