Theorem isLocalHom_of_le_jacobson_bot

Modification history