Theorem logDeriv_const_mul

Modification history