Theorem logDeriv_fun_zpow

Modification history