Theorem Nat.digits_base_pow_mul

Modification history