times_cont_diff): continuous affine maps are smooth (#10335)

Commit

4 years ago

feat(analysis/calculus/times_cont_diff): continuous affine maps are smooth (#10335) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents