Theorem logDeriv_const

Modification history