Theorem Real.eq_Gamma_of_log_convex

Modification history