Commit 2021-11-12 16:30 62621659

View on Github →

feat(analysis/normed_space/continuous_affine_map): isometry from space of continuous affine maps to product of codomain with space of continuous linear maps (#10201) Formalized as part of the Sphere Eversion project.

Estimated changes