Theorem RingHom.mem_ker

Modification history