Theorem isLocalHom_of_comp

Modification history