Theorem isLocalHom_equiv

Modification history