Theorem succ_dvd_or_succ_dvd_of_succ_sum_dvd_mul

Modification history