Theorem fwdDiff_smul_const

Modification history