Theorem lineDeriv_smul

Modification history