Theorem deriv.fun_neg'

Modification history