Theorem logDeriv_mul

Modification history