Theorem Nat.dvd_iff_dvd_digits_sum

Modification history