Theorem logDeriv_zpow

Modification history