Theorem LinearEquiv.eq_symm_comp

Modification history