Theorem fwdDiff_aux.coe_fwdDiffₗ_pow

Modification history