Theorem idealFactorsEquivOfQuotEquiv_symm

Modification history