def sm_bwd
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA
1442def sm_bwd(+n: Nat, +c: Nat, s: TA.Mat<n, c>, dy: TA.Mat<n, c>) -> Bwd<Unit, TA.Mat<n, c>>:
1443 match s dy:
1444 case TA.Mat{y} TA.Mat{d}:
1445 dx_fin(n, c, smb_rows(Nat.sub(n, 1n), 0, c, A2{d, y}))