Def ring_equiv.to_add_equiv

Modification history