Theorem Real.concaveOn_negMulLog

Modification history