Theorem Nat.ofDigits_lt_base_pow_length'

Modification history