Theorem Real.Gamma_mul_add_mul_le_rpow_Gamma_mul_rpow_Gamma

Modification history