Theorem padicValNat_factorial_mul

Modification history