Theorem Real.Gamma_one_half_eq

Modification history