Theorem Nat.le_digits_len_le

Modification history