Theorem Real.doublingGamma_add_one

Modification history