Theorem padicValNat.padicValNat_eq_maxPowDiv

Modification history