Theorem logDeriv_inv

Modification history