Theorem isLocalHom_of_isIso

Modification history