Theorem Nat.pow_length_le_mul_ofDigits

Modification history