Theorem Nat.ofDigits_digits

Modification history