Theorem NonUnitalRingHom.map_sclosure

Modification history