Theorem Nat.digits_ofDigits

Modification history