Theorem logDeriv_pow

Modification history