Commit 2021-09-30 18:34 6210d98a
View on Github →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.