Theorem logDeriv_mul_const

Modification history