Theorem factorial_mul_pochhammer

Modification history