Theorem ContinuousLinearEquiv.symm_equivOfInverse

Modification history