Theorem RingHom.map_range

Modification history