Theorem Complex.Gamma_ofNat_eq_factorial

Modification history