Theorem MonoidHom.isLocalRingHom_of_comp

Modification history