Theorem logDeriv_prod

Modification history