Theorem Real.Gamma_one

Modification history