Theorem Real.Gamma_zero

Modification history