Theorem logDeriv_fun_pow

Modification history