Theorem Nat.ofDigits_lt_base_pow_length

Modification history