feat(analysis/normed_space/linear_isometry): `to_linear_equiv_trans` (#11628)
feat(analysis/normed_space/linear_isometry): `to_linear_equiv_trans` (#11628)

Add a lemma relating `trans` for `linear_isometry_equiv` and
`linear_equiv`.





leanprover-community/mathlib,leanprover-community/mathlib