Theorem logDeriv_id

Modification history