Theorem ring_equiv.map_add

Modification history