Theorem AlgEquiv.ofLinearEquiv_toLinearEquiv

Modification history