Theorem padicValNat_eq_emultiplicity

Modification history