Theorem padicValNat_choose'

Modification history