Theorem fwdDiff_const_smul

Modification history