Theorem Nat.lt_base_pow_length_digits'

Modification history