Theorem Nat.digits_append_digits

Modification history