Theorem LinearEquiv.symm_comp

Modification history