Theorem Real.doublingGamma_log_convex_Ioi

Modification history