Theorem Nat.dvd_ofDigits_sub_ofDigits

Modification history