Theorem pochhammer_mul

Modification history