Theorem NonUnitalRingHom.srange_top_of_surjective

Modification history