Theorem fwdDiff_iter_const_smul

Modification history