Theorem deriv_id''

Modification history