Theorem idealFactorsFunOfQuotHom_id

Modification history