Theorem NonUnitalRingHom.eq_of_eqOn_sdense

Modification history