Theorem Nat.digits_append_zeroes_append_digits

Modification history