Def Real.doublingGamma

Modification history