Theorem Real.Gamma_neg_nat_eq_zero

Modification history