Theorem Nat.modEq_digits_sum

Modification history