Theorem padicValNat_factorial_mul_add

Modification history