Theorem not_dvd_differentIdeal_of_isCoprime

Modification history