Theorem Real.Gamma_mul_Gamma_add_half_of_pos

Modification history