In the stable range `d - 1 ≤ n`, the cokernel of the twisted finite Čech differential at level `n` has length `chooseTwo d`.

Initializing...

In the stable range `d - 1 ≤ n`, the cokernel of the twisted finite Čech differential at level `n` has length `chooseTwo d`. · Prove2Me