Theorem fwdDiff_aux.shiftₗ_pow_apply

Modification history