Theorem logDeriv_comp

Modification history