Theorem isLocalHom_of_iso

Modification history