Theorem Real.strictConcaveOn_negMulLog

Modification history