Theorem RingHom.comap_ker

Modification history