Theorem Nat.digits_lt_base'

Modification history