Theorem padicValNat.maxPowDiv_eq_multiplicity

Modification history