Def alg_equiv.to_linear_equiv

Modification history