Theorem RingHom.ker_rangeSRestrict

Modification history