Theorem Real.strictConvexOn_mul_log

Modification history