Def add_equiv.op

Modification history