Theorem Real.log_doublingGamma_eq

Modification history