Theorem ContinuousLinearEquiv.symm_image_image

Modification history