Theorem RingHom.sub_mem_ker_iff

Modification history