Theorem Trivialization.symm_apply_eq_mk_continuousLinearEquivAt_symm

Modification history