Theorem Nat.digits_add

Modification history