Theorem lineDeriv_zero

Modification history