Theorem padicValNat.maxPowDiv_eq_emultiplicity

Modification history