Theorem Nat.digits_zero_succ

Modification history