Theorem isLocalHom_of_leftInverse

Modification history