Theorem LinearEquiv.trans_symm

Modification history