Theorem NonUnitalRingHom.map_closure

Modification history