Theorem ContinuousLinearEquiv.coe_symm_comp_coe

Modification history