Theorem NonUnitalRingHom.map_srange

Modification history