Theorem Nat.digits_one_succ

Modification history