Theorem NonUnitalRingHom.map_range

Modification history