Def add_equiv.to_ring_equiv

Modification history