Theorem deriv_id'

Modification history