Theorem idealFactorsFunOfQuotHom_comp

Modification history