Theorem Nat.digits_of_lt

Modification history