Theorem PadicSeq.norm_eq_zpow_neg_valuation

Modification history