Theorem ordinaryHypergeometric_sum_eq

Modification history