Theorem Nat.to_digits_core_length

Modification history