Theorem Real.doublingGamma_one

Modification history