Theorem RingHom.ker_isRadical_iff_reduced_of_surjective

Modification history