Theorem isLocalHom_id

Modification history