Theorem ContinuousLinearEquiv.symm_trans_apply

Modification history