Theorem Trivialization.apply_eq_prod_continuousLinearEquivAt

Modification history