Theorem Real.Gamma_two

Modification history