Theorem PadicInt.norm_le_pow_iff_mem_span_pow

Modification history