Theorem Nat.ofDigits_digits_append_digits

Modification history