Theorem isLocalRingHom_of_leftInverse

Modification history