Theorem padicValNat_choose

Modification history