Theorem PadicInt.exists_pow_neg_lt

Modification history