Theorem RingHom.isLocalHom_comp

Modification history