Theorem idealFactorsEquivOfQuotEquiv_is_dvd_iso

Modification history