mathlib3

6210d98a - feat(*): Clean up some misstated lemmas about analysis/manifolds (#9395)

feat(*): Clean up some misstated lemmas about analysis/manifolds (#9395) A few lemmas whose statement doesn't match the name / docstring about analytical things, all of these are duplicates of other lemmas, so look like copy paste errors.