feat(analysis/normed_space/banach): add continuous_linear_equiv.of_bijective (#2774)
continuous_linear_equiv.of_bijective