mathlib

a12363e2 - perf(analysis/normed_space/continuous_affine_map): Speedup (#16652)

perf(analysis/normed_space/continuous_affine_map): Speedup (#16652) This changes the compilation time of `continuous_affine_map.to_const_prod_continuous_linear_map` from 19s to 3s for me locally.