Theorem LinearEquiv.eq_toLinearMap_symm_comp

Modification history