In the negative range `j < d`, the reduction map between the cokernels at levels `j + 1` and `j` has kernel the image of an injection from `(R ⧸ (t, x))^(d - j

Initializing...

In the negative range `j < d`, the reduction map between the cokernels at levels `j + 1` and `j` has kernel the image of an injection from `(R ⧸ (t, x))^(d - j - 1)`. · Prove2Me