Theorem LinearEquiv.eq_comp_toLinearMap_symm

Modification history