Theorem AlgEquiv.coe_symm_toLinearEquiv

Modification history