Def eq_trans

Modification history