Theorem AlgEquiv.ofLinearEquiv_symm

Modification history