Theorem AlgEquiv.toLinearEquiv_ofLinearEquiv

Modification history