Def alg_equiv.trans

Modification history