Theorem Nat.NormDigits.digits_succ

Modification history