Theorem AlgEquiv.coe_toLinearEquiv

Modification history