Theorem isLocalHom_toRingHom

Modification history