Theorem Nat.digits_lt_base

Modification history